lib/texinputs/isabelle.sty
changeset 8232 6b19ee96546c
parent 7918 2979b3b75dbd
child 8474 ae32be343647
equal deleted inserted replaced
8231:fa93309ff27e 8232:6b19ee96546c
     6 
     6 
     7 %%% Simple document preparation (based on theory token language)
     7 %%% Simple document preparation (based on theory token language)
     8 
     8 
     9 % basic environment
     9 % basic environment
    10 
    10 
    11 \newenvironment{isabellesimple}{\small\tt\slshape\mbox{}}{}
    11 \newcommand{\isabellesimplestyle}{}
       
    12 \newenvironment{isabellesimple}{\small\tt\slshape\isabellesimplestyle\mbox{}}{}
    12 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
    13 \newcommand{\isanewline}{\mbox{}\\\mbox{}}
    13 
    14 
    14 \chardef\isabraceleft=`\{
    15 \chardef\isabraceleft=`\{
    15 \chardef\isabraceright=`\}
    16 \chardef\isabraceright=`\}
    16 \chardef\isatilde=`\~
    17 \chardef\isatilde=`\~