doc-src/IsarAdvanced/Functions/Thy/document/isabelle.sty
changeset 25056 743f3603ba8b
parent 23003 4b0bf04a4d68
child 25160 72fcf0832cfe
     1.1 --- a/doc-src/IsarAdvanced/Functions/Thy/document/isabelle.sty	Tue Oct 16 17:06:21 2007 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Functions/Thy/document/isabelle.sty	Tue Oct 16 17:07:40 2007 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4  %symbol markup -- \emph achieves decent spacing via italic corrections
     1.5  \newcommand{\isamath}[1]{\emph{$#1$}}
     1.6  \newcommand{\isatext}[1]{\emph{#1}}
     1.7 -\newcommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
     1.8 +\DeclareRobustCommand{\isascriptstyle}{\def\isamath##1{##1}\def\isatext##1{\mbox{\isastylescript##1}}}
     1.9  \newcommand{\isactrlsub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}
    1.10  \newcommand{\isactrlsup}[1]{\emph{\isascriptstyle${}\sp{#1}$}}
    1.11  \newcommand{\isactrlisub}[1]{\emph{\isascriptstyle${}\sb{#1}$}}