lib/texinputs/isabelle.sty
changeset 39662 86595d7b59b5
parent 39538 5aced2f43837
child 40402 b646316f8b3c
equal deleted inserted replaced
39661:6381d18507ef 39662:86595d7b59b5
    43 \isastyle}{\par}
    43 \isastyle}{\par}
    44 
    44 
    45 \newenvironment{isabelle}
    45 \newenvironment{isabelle}
    46 {\begin{trivlist}\begin{isabellebody}\item\relax}
    46 {\begin{trivlist}\begin{isabellebody}\item\relax}
    47 {\end{isabellebody}\end{trivlist}}
    47 {\end{isabellebody}\end{trivlist}}
    48 
       
    49 \newcommand{\isatypewriter}{\fontsize{9pt}{0pt}\tt\renewcommand{\baselinestretch}{1}\setlength{\baselineskip}{9pt}}
       
    50 
    48 
    51 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
    49 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
    52 
    50 
    53 \newcommand{\isaindent}[1]{\hphantom{#1}}
    51 \newcommand{\isaindent}[1]{\hphantom{#1}}
    54 \newcommand{\isanewline}{\mbox{}\par\mbox{}}
    52 \newcommand{\isanewline}{\mbox{}\par\mbox{}}