doc-src/TutorialI/isabelle.sty
changeset 8771 026f37a86ea7
parent 8751 9ed0548177fb
child 8824 ff207088cf0c
equal deleted inserted replaced
8770:bfab4d4b7516 8771:026f37a86ea7
    16 \isa@parindent\parindent\parindent0pt%
    16 \isa@parindent\parindent\parindent0pt%
    17 \isa@parskip\parskip\parskip0pt%
    17 \isa@parskip\parskip\parskip0pt%
    18 \isabelledefaultstyle\isabellestyle}{}
    18 \isabelledefaultstyle\isabellestyle}{}
    19 
    19 
    20 \newcommand{\isa}[1]{\emph{\isabelledefaultstyle\isabellestyle #1}}
    20 \newcommand{\isa}[1]{\emph{\isabelledefaultstyle\isabellestyle #1}}
       
    21 
       
    22 \newenvironment{isabellequote}%
       
    23 {\begin{quote}\begin{isabelle}\noindent}{\end{isabelle}\end{quote}}
    21 
    24 
    22 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
    25 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
    23 
    26 
    24 \chardef\isabraceleft=`\{
    27 \chardef\isabraceleft=`\{
    25 \chardef\isabraceright=`\}
    28 \chardef\isabraceright=`\}