# HG changeset patch # User wenzelm # Date 1234907201 -3600 # Node ID c0f2c8424848cc2a98403b511bd51263e09dde8d # Parent e5324b8b4df56e8625502b9068d33c3685a7ca9c some more Isar macros; diff -r e5324b8b4df5 -r c0f2c8424848 doc-src/IsarImplementation/style.sty --- a/doc-src/IsarImplementation/style.sty Mon Feb 16 21:39:52 2009 +0100 +++ b/doc-src/IsarImplementation/style.sty Tue Feb 17 22:46:41 2009 +0100 @@ -18,6 +18,8 @@ \newcommand{\text}[1]{\mbox{#1}} \newcommand{\isasymvartheta}{\isamath{\theta}} \newcommand{\isactrlvec}[1]{\emph{$\overline{#1}$}} +\newcommand{\isactrlBG}{\isacharbackquoteopen} +\newcommand{\isactrlEN}{\isacharbackquoteclose} \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} @@ -39,6 +41,10 @@ \newcommand{\isasymtype}{\minorcmd{type}} \newcommand{\isasymval}{\minorcmd{val}} +\newcommand{\isasymFIX}{\isakeyword{fix}} +\newcommand{\isasymASSUME}{\isakeyword{assume}} +\newcommand{\isasymDEFINE}{\isakeyword{define}} +\newcommand{\isasymNOTE}{\isakeyword{note}} \newcommand{\isasymGUESS}{\isakeyword{guess}} \newcommand{\isasymOBTAIN}{\isakeyword{obtain}} \newcommand{\isasymTHEORY}{\isakeyword{theory}}