lib/texinputs/isabelle.sty
changeset 53021 d0fa3f446b9d
parent 49320 94bd2fb83d11
child 53167 4e7ddd76e632
     1.1 --- a/lib/texinputs/isabelle.sty	Tue Aug 13 19:52:12 2013 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Tue Aug 13 20:34:46 2013 +0200
     1.3 @@ -30,8 +30,6 @@
     1.4  \DeclareRobustCommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isaspacing\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  \DeclareRobustCommand{\isactrlbsub}{\emph\bgroup\math{}\sb\bgroup\mbox\bgroup\isaspacing\isastylescript}
    1.10  \DeclareRobustCommand{\isactrlesub}{\egroup\egroup\endmath\egroup}
    1.11  \DeclareRobustCommand{\isactrlbsup}{\emph\bgroup\math{}\sp\bgroup\mbox\bgroup\isaspacing\isastylescript}