diff -r 27f6771ae8fb -r 0140cc7b26ad doc-src/IsarAdvanced/Classes/classes.tex
--- a/doc-src/IsarAdvanced/Classes/classes.tex	Wed Dec 05 04:34:15 2007 +0100
+++ b/doc-src/IsarAdvanced/Classes/classes.tex	Wed Dec 05 14:15:39 2007 +0100
@@ -28,6 +28,7 @@
 \newcommand{\isasymSHOWS}{\cmd{shows}}
 \newcommand{\isasymCLASS}{\cmd{class}}
 \newcommand{\isasymINSTANCE}{\cmd{instance}}
+\newcommand{\isasymINSTANTIATION}{\cmd{instantiation}}
 \newcommand{\isasymLEMMA}{\cmd{lemma}}
 \newcommand{\isasymPROOF}{\cmd{proof}}
 \newcommand{\isasymQED}{\cmd{qed}}