--- 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*)