modifs pour le style ita

[rairo15.git] / main.tex

diff --git a/main.tex b/main.tex
index 701bcb69c00063577c70754aa4f6295c237f9449..465fbf5a2d179b15236d958a0c98136a958c0de4 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -58,12 +58,6 @@
 \def \ts {\tau_{\rm stop}}
 
 
-\newtheorem{Def}{Definition}
-%\newtheorem{Lemma}{\underline{Lemma}}
-\newtheorem{Theo}{Theorem}
-\newtheorem{Corollary}{Corollary}
-\newtheorem{Lemma}{Lemma}
-\newtheorem{proposition}{Proposition}
 \newtheorem*{xpl}{Running Example}
 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}