# HG changeset patch
# User wenzelm
# Date 1234785473 -3600
# Node ID 3197b895f8585c54e7d80fbf95957d243ea83301
# Parent  5a576282c93531cbfee1e96a3983c2cdd261b1f7
avoid redefinition of FIXES/ASSUMES/SHOWS macros;

diff -r 5a576282c935 -r 3197b895f858 doc-src/IsarAdvanced/Functions/functions.tex
--- 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}}