doc-src/IsarImplementation/style.sty
changeset 45646 02afa20cf397
parent 42666 fee67c099d03
     1.1 --- a/doc-src/IsarImplementation/style.sty	Sun Nov 27 12:52:52 2011 +0100
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Sun Nov 27 13:12:42 2011 +0100
     1.3 @@ -64,7 +64,7 @@
     1.4  \newcommand{\isasymTHEOREM}{\isakeyword{theorem}}
     1.5  \newcommand{\isasymDEFINITION}{\isakeyword{definition}}
     1.6  
     1.7 -\isabellestyle{itunderscore}
     1.8 +\isabellestyle{literal}
     1.9  
    1.10  \railtermfont{\isabellestyle{tt}}
    1.11  \railnontermfont{\isabellestyle{itunderscore}}