diff -r 731b27c90d2f -r 76caebd18756 src/FOLP/IFOLP.thy
--- a/src/FOLP/IFOLP.thy	Thu Mar 17 13:54:50 1994 +0100
+++ b/src/FOLP/IFOLP.thy	Thu Mar 17 17:48:37 1994 +0100
@@ -4,9 +4,12 @@
 
 default term
 
-types p,o 0
+types
+  p
+  o
 
-arities p,o :: logic
+arities
+  p,o :: logic
 
 consts	
       (*** Judgements ***)