Révision 193 CSL17/ph-macros.tex

ph-macros.tex (revision 193)
41 41 
\newcommand{\pair}[3]{\langle ; #1,#2 , #3 \rangle}
42 42 
\newcommand{\eq}{\textsc{eq}}
43 43 
\newcommand{\leqfn}{\textsc{leq}}
44 
\newcommand{\bit}{\textsc{Bit}}
44 45 

  		





  45
  46
  
    

  		





  46
  47
  
    
\newcommand{\safe}{{N_0}}


  		












Formats disponibles :
  Unified diff