equal
deleted
inserted
replaced
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=`\~ |