Commit a11aee16 authored by Guillaume GENESTIER's avatar Guillaume GENESTIER

i

parent 53ee7455
\theoremstyle{plain}
\newtheorem{thm}{Theorem}[section]
\newtheorem{thm}{Theorem}
\newtheorem{propo}[thm]{Proposition}
\newtheorem{coro}[thm]{Corollary}
\newtheorem{lem}[thm]{Lemma}
\newtheorem{propri}[thm]{Property}
\newtheorem{defi}[thm]{Definition}
\newtheorem{algo}[thm]{Algorithm}
\newtheorem{expl}{Example}
\newtheorem{expl}[thm]{Example}
\theoremstyle{definition}
\newtheorem{exo}[thm]{Exercise}
\theoremstyle{remark}
......@@ -79,7 +79,7 @@
\lstdefinelanguage{Dedukti}
{
alsoletter={=->:\#},
keywords={Type,def,-->,->,=>,:=,:,.,\#SNF,\#NAME,\#PRINT,set,infix,symbol,rule,TYPE},
keywords={Type,def,-->,->,=>,:=,:,.,\#SNF,\#NAME,\#PRINT,set,infix,symbol,rule,TYPE,const},
delim=[s][\color{brown}]{\[}{\]},
comment=[n]{(;}{;)},
string=[b]{"},
......
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment