equal
deleted
inserted
replaced
38 |
38 |
39 |
39 |
40 |
40 |
41 % Isabelle configuration |
41 % Isabelle configuration |
42 %%\urlstyle{rm} |
42 %%\urlstyle{rm} |
43 \isabellestyle{it} |
43 \isabellestyle{rm} |
44 \renewcommand{\isastyle}{\it}% |
44 \renewcommand{\isastyle}{\rm}% |
45 \renewcommand{\isastyleminor}{\it}% |
45 \renewcommand{\isastyleminor}{\rm}% |
46 \renewcommand{\isastylescript}{\footnotesize\it\slshape}% |
46 \renewcommand{\isastylescript}{\footnotesize\rm\slshape}% |
47 \renewcommand{\isatagproof}{} |
47 \renewcommand{\isatagproof}{} |
48 \renewcommand{\endisatagproof}{} |
48 \renewcommand{\endisatagproof}{} |
49 \renewcommand{\isamarkupcmt}[1]{#1} |
49 \renewcommand{\isamarkupcmt}[1]{#1} |
50 |
50 |
51 % Isabelle characters |
51 % Isabelle characters |