lib/texinputs/isabelle.sty
changeset 61595 3591274c607e
parent 61473 34d1913f0b20
child 63590 4854f7ee0987
     1.1 --- a/lib/texinputs/isabelle.sty	Fri Nov 06 23:31:11 2015 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Fri Nov 06 23:31:50 2015 +0100
     1.3 @@ -39,11 +39,6 @@
     1.4  \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
     1.5  \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
     1.6  
     1.7 -\def\isactrlnoindent{\noindent}
     1.8 -\def\isactrlsmallskip{\smallskip}
     1.9 -\def\isactrlmedskip{\medskip}
    1.10 -\def\isactrlbigskip{\bigskip}
    1.11 -
    1.12  \newcommand{\isaantiqcontrol}[1]{\isatt{{\char`\\}{\char`\<}{\char`\^}#1{\char`\>}}}
    1.13  \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
    1.14