X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/rairo15.git/blobdiff_plain/a5af617983aac5c657a64b171efdd174585433db..49ca2ad778013ab14ba1e6f9ab70697a97557e26:/main.tex?ds=sidebyside

diff --git a/main.tex b/main.tex
index 6dbf3ef..4bbcc0e 100644
--- a/main.tex
+++ b/main.tex
@@ -61,16 +61,16 @@
 % \theoremsymbol{\ensuremath{\diamondsuit}}
 % \theoremprework{\bigskip}
 % \theoremseparator{.}
-\newtheorem{Def}{\underline{Définition}}
-\newtheorem{Lemma}{\underline{Lemme}}
-\newtheorem{Theo}{\underline{Théorème}}
+\newtheorem{Def}{\underline{Definition}}
+\newtheorem{Lemma}{\underline{Lemma}}
+\newtheorem{Theo}{\underline{Theorem}}
 % \theoremheaderfont{\sc}
 % \theorembodyfont{\upshape}
 % \theoremstyle{nonumberplain}
 % \theoremseparator{}
 % \theoremsymbol{\rule{1ex}{1ex}}
-\newtheorem{Proof}{Preuve :}
-\newtheorem{xpl}{Exemple illustratif :}
+\newtheorem{Proof}{Proof}
+\newtheorem{xpl}{Running Example}
 
 \newcommand{\vectornorm}[1]{\ensuremath{\left|\left|#1\right|\right|_2}}
 %\newcommand{\ie}{\textit{i.e.}}