| changeset 25533 | 0140cc7b26ad |
| parent 23956 | 48494ccfabaf |
| child 25871 | 45753d56d935 |
--- 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}}