lib/texinputs/isabelle.sty
changeset 61461 77c9643a6353
parent 61437 8bb17fd2fa81
child 61463 8e46cea6a45a
     1.1 --- a/lib/texinputs/isabelle.sty	Sat Oct 17 19:32:01 2015 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Sat Oct 17 19:47:34 2015 +0200
     1.3 @@ -43,9 +43,6 @@
     1.4  \def\isactrlsmallskip{\smallskip}
     1.5  \def\isactrlmedskip{\medskip}
     1.6  \def\isactrlbigskip{\bigskip}
     1.7 -\def\isactrlitem{\item}
     1.8 -\def\isactrlenum{\item}
     1.9 -\def\isactrldescr{\item}
    1.10  
    1.11  \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
    1.12