
diff -r a6a21adf3b55 -r 45753d56d935 doc-src/IsarAdvanced/Classes/classes.tex
--- a/doc-src/IsarAdvanced/Classes/classes.tex	Wed Jan 09 08:32:09 2008 +0100
+++ b/doc-src/IsarAdvanced/Classes/classes.tex	Wed Jan 09 08:33:01 2008 +0100
@@ -29,6 +29,7 @@
 \newcommand{\isasymCLASS}{\cmd{class}}
 \newcommand{\isasymINSTANCE}{\cmd{instance}}
 \newcommand{\isasymINSTANTIATION}{\cmd{instantiation}}
+\newcommand{\isasymPRINTCONTEXT}{\cmd{print-context}}
 \newcommand{\isasymLEMMA}{\cmd{lemma}}
 \newcommand{\isasymPROOF}{\cmd{proof}}
 \newcommand{\isasymQED}{\cmd{qed}}




