src/CTT/CTT.thy

--- a/src/CTT/CTT.thy	Thu Mar 17 13:54:50 1994 +0100
+++ b/src/CTT/CTT.thy	Thu Mar 17 17:48:37 1994 +0100
@@ -8,9 +8,13 @@
 
 CTT = Pure +
 
-types i,t,o 0
+types
+  i
+  t
+  o
 
-arities i,t,o :: logic
+arities
+   i,t,o :: logic
 
 consts
   (*Types*)