lib/texinputs/isabelle.sty
changeset 14234 9590df3c5f2a
parent 13933 b224c2fd4288
child 14332 fd3535af90ab
     1.1 --- a/lib/texinputs/isabelle.sty	Wed Oct 15 01:58:41 2003 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Wed Oct 15 07:03:43 2003 +0200
     1.3 @@ -24,6 +24,8 @@
     1.4  \newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
     1.5  \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
     1.6  \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
     1.7 +\newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
     1.8 +\newcommand{\isactrlisup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
     1.9  \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
    1.10  
    1.11  \newdimen\isa@parindent\newdimen\isa@parskip