doc-src/IsarImplementation/style.sty
changeset 29763 c0f2c8424848
parent 29758 7a3b5bbed313
child 29776 8f2eb202ae94
     1.1 --- a/doc-src/IsarImplementation/style.sty	Mon Feb 16 21:39:52 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Tue Feb 17 22:46:41 2009 +0100
     1.3 @@ -18,6 +18,8 @@
     1.4  \newcommand{\text}[1]{\mbox{#1}}
     1.5  \newcommand{\isasymvartheta}{\isamath{\theta}}
     1.6  \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}}
     1.7 +\newcommand{\isactrlBG}{\isacharbackquoteopen}
     1.8 +\newcommand{\isactrlEN}{\isacharbackquoteclose}
     1.9  
    1.10  \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}
    1.11  
    1.12 @@ -39,6 +41,10 @@
    1.13  \newcommand{\isasymtype}{\minorcmd{type}}
    1.14  \newcommand{\isasymval}{\minorcmd{val}}
    1.15  
    1.16 +\newcommand{\isasymFIX}{\isakeyword{fix}}
    1.17 +\newcommand{\isasymASSUME}{\isakeyword{assume}}
    1.18 +\newcommand{\isasymDEFINE}{\isakeyword{define}}
    1.19 +\newcommand{\isasymNOTE}{\isakeyword{note}}
    1.20  \newcommand{\isasymGUESS}{\isakeyword{guess}}
    1.21  \newcommand{\isasymOBTAIN}{\isakeyword{obtain}}
    1.22  \newcommand{\isasymTHEORY}{\isakeyword{theory}}