# HG changeset patch
# User haftmann
# Date 1119431354 -7200
# Node ID 80ac7ac3733c75f202afbe0b2c6c9d4a21c39ce1
# Parent  644dddf4e932a2a80d22cd8d1abbb7fec88b7232
(initial commit)

diff -r 644dddf4e932 -r 80ac7ac3733c src/Pure/class.ML
--- a/src/Pure/class.ML	Wed Jun 22 11:08:53 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-(*  Title:      Pure/class.ML
-    ID:         $Id$
-    Author:     Florian Haftmann, TU Muenchen
-
-Haskell98-like type classes, simulated by locales
-*)
-
-(*!!! for now, only experimental scratch code !!!*)
-
-signature CLASS =
-sig
-    
-end
-
-structure Class : CLASS =
-struct
-
-end;