diff -r cd0533d52e55 -r c065073cdb34 src/HOL/AxClasses/ROOT.ML
--- a/src/HOL/AxClasses/ROOT.ML	Fri Aug 20 15:42:46 1999 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-(*  Title:      HOL/AxClasses/ROOT.ML
-    ID:         $Id$
-    Author:     Markus Wenzel
-
-Axiomatic type class examples.
-*)
-
-(*dummy file required for proper HTML generation*)