# HG changeset patch
# User haftmann
# Date 1119431333 -7200
# Node ID 644dddf4e932a2a80d22cd8d1abbb7fec88b7232
# Parent  966b4e040188a5dbdd1271a2aa4338a4aecbabdf
(initial commit)

diff -r 966b4e040188 -r 644dddf4e932 src/Pure/class.ML
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/class.ML	Wed Jun 22 11:08:53 2005 +0200
@@ -0,0 +1,18 @@
+(*  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;