equal
deleted
inserted
replaced
42 \newcommand{\isasymDEFS}{\isakeyword{defs}} |
42 \newcommand{\isasymDEFS}{\isakeyword{defs}} |
43 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}} |
43 \newcommand{\isasymTHEOREM}{\isakeyword{theorem}} |
44 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} |
44 \newcommand{\isasymDEFINITION}{\isakeyword{definition}} |
45 |
45 |
46 \isabellestyle{it} |
46 \isabellestyle{it} |
|
47 \renewcommand{\isacharunderscore}{\_} |
|
48 \renewcommand{\isacharunderscorekeyword}{\_} |
47 |
49 |
48 %%% Local Variables: |
50 %%% Local Variables: |
49 %%% mode: latex |
51 %%% mode: latex |
50 %%% TeX-master: "implementation" |
52 %%% TeX-master: "implementation" |
51 %%% End: |
53 %%% End: |