src/CCL/ccl.thy

--- a/src/CCL/ccl.thy	Thu Mar 17 13:54:50 1994 +0100
+++ b/src/CCL/ccl.thy	Thu Mar 17 17:48:37 1994 +0100
@@ -17,7 +17,7 @@
 
 default prog
 
-types i 0
+types i
 
 arities 
       i          :: prog