diff -r f14c6c057172 -r ce83b7e74a91 src/HOL/ex/mesontest2.thy
--- a/src/HOL/ex/mesontest2.thy	Sun Nov 14 01:56:58 2004 +0100
+++ b/src/HOL/ex/mesontest2.thy	Mon Nov 15 12:13:14 2004 +0100
@@ -1,8 +1,6 @@
-
+(*ID:         $Id$*)
 header {* Meson test cases *}
 
 theory mesontest2 = Main:
 
-hide const inverse divide
-
 end