doc-src/TutorialI/isabelle.sty
changeset 9992 4281ccea43f0
parent 9924 3370f6aa3200
child 10037 0d2a6feeb634
equal deleted inserted replaced
9991:fdead18501ca 9992:4281ccea43f0
   127 \renewcommand{\isacharbraceleft}{\emph{$\{$}}%
   127 \renewcommand{\isacharbraceleft}{\emph{$\{$}}%
   128 \renewcommand{\isacharbar}{\emph{$\mid$}}%
   128 \renewcommand{\isacharbar}{\emph{$\mid$}}%
   129 \renewcommand{\isacharbraceright}{\emph{$\}$}}%
   129 \renewcommand{\isacharbraceright}{\emph{$\}$}}%
   130 }
   130 }
   131 
   131 
   132 \newcommand{\isabellestylesl}{\isabellestyleit\renewcommand{\isastyle}{\small\slshape}}
   132 \newcommand{\isabellestylesl}{%
       
   133 \isabellestyleit%
       
   134 \renewcommand{\isastyle}{\small\sl}%
       
   135 \renewcommand{\isastyleminor}{\sl}%
       
   136 }