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