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}}