X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/7dd748e9a068c99c61fefdcbde3c24e4c9b74bf9..HEAD:/main.tex?ds=inline

diff --git a/main.tex b/main.tex
index 701bcb6..465fbf5 100644
--- 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}}
