Révision 156 CSL17/ph-macros.tex

ph-macros.tex (revision 156)
1 
\newcommand{\nb}[1]{{\color{blue} NB: #1}}
1 
\newcommand{\nb}[1]{{\color{red} NB: #1}}
2 
\newcommand{\anupam}[1]{{\color{orange} Anupam: #1}}
3 
\newcommand{\patrick}[1]{{\color{blue} Patrick: #1}}
2 4 

  		





  3
  5
  
    
%\newtheorem{theorem}{Theorem}


  		





  4
  
  
    
%\newtheorem{proposition}[theorem]{Proposition}


  		





  
  6
  
    
\newtheorem{proposition}[theorem]{Proposition}


  		





  5
  7
  
    
%\newtheorem{lemma}[theorem]{Lemma}


  		





  6
  8
  
    
%


  		





  7
  9
  
    
%


  		





  8
  10
  
    
%\theoremstyle{definition}


  		





  9
  11
  
    
%\newtheorem{definition}[theorem]{Definition}


  		





  10
  12
  
    

  		





  
  13
  
    
\newcommand{\Word}{\mathbb{W}}


  		





  11
  14
  
    

  		





  
  15
  
    

  		





  12
  16
  
    
\newcommand{\wit}[2]{\mathit{wit}^{#1}_{#2}}


  		





  13
  17
  
    
\newcommand{\Wit}[2]{\mathit{Wit}^{#1}_{#2}}


  		





  14
  18
  
    
\newcommand{\dfn}{:=}


  		





  15
  19
  
    
\newcommand{\seqar}{\rightarrow}


  		





  16
  20
  
    
\newcommand{\proves}{\vdash}


  		





  17
  21
  
    

  		





  18
  
  
    

  		





  
  22
  
    
\newcommand{\pred}{p}


  		





  
  23
  
    
\renewcommand{\succ}[1]{s_i}


  		





  19
  24
  
    
\newcommand{\safe}{\sigma}


  		





  20
  25
  
    
\newcommand{\normal}{\nu}


  		





  21
  26
  
    

  		












Formats disponibles :
  Unified diff