changeset 16525 | 966b4e040188 |
parent 16524 | 6a7a19517ba8 |
child 16526 | 644dddf4e932 |
--- a/src/Pure/class.ML Wed Jun 22 11:07:23 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;