Révision 171 CSL17/ph-macros.tex

ph-macros.tex (revision 171)
36 36 
\renewcommand{\succ}[1]{s_{#1}}
37 37 
\newcommand{\cond}{C}
38 38 
\newcommand{\smsh}{\#}
39 
\newcommand{\pair}[3]{\langle ; #1,#2 , #3 \rangle}
39 40 

  		





  
  41
  
    

  		





  40
  42
  
    
\newcommand{\safe}{{S}}


  		





  41
  43
  
    
\newcommand{\normal}{N}


  		





  42
  44
  
    

  		












Formats disponibles :
  Unified diff