--- a/doc-src/IsarAdvanced/Functions/functions.tex Mon Feb 16 12:47:49 2009 +0100
+++ b/doc-src/IsarAdvanced/Functions/functions.tex Mon Feb 16 12:57:53 2009 +0100
@@ -1,5 +1,3 @@
-
-%% $Id$
\documentclass[a4paper,fleqn]{article}
@@ -19,11 +17,8 @@
\newcommand{\isasymINCLUDES}{\cmd{includes}}
\newcommand{\isasymDATATYPE}{\cmd{datatype}}
\newcommand{\isasymAXCLASS}{\cmd{axclass}}
-\newcommand{\isasymFIXES}{\cmd{fixes}}
-\newcommand{\isasymASSUMES}{\cmd{assumes}}
\newcommand{\isasymDEFINES}{\cmd{defines}}
\newcommand{\isasymNOTES}{\cmd{notes}}
-\newcommand{\isasymSHOWS}{\cmd{shows}}
\newcommand{\isasymCLASS}{\cmd{class}}
\newcommand{\isasymINSTANCE}{\cmd{instance}}
\newcommand{\isasymLEMMA}{\cmd{lemma}}