--- a/ex/mt.thy	Wed Mar 02 12:26:55 1994 +0100
+++ b/ex/mt.thy	Thu Mar 17 11:27:29 1994 +0100
@@ -16,19 +16,19 @@
 MT = Gfp +
 
 types 
-  Const 0
+  Const
 
-  ExVar 0
-  Ex 0
+  ExVar
+  Ex
 
-  TyConst 0
-  Ty 0
+  TyConst
+  Ty
 
-  Clos 0
-  Val 0
+  Clos
+  Val
 
-  ValEnv 0
-  TyEnv 0
+  ValEnv
+  TyEnv
 
 arities 
   Const :: term