src/FOL/ifol.thy

--- a/src/FOL/ifol.thy	Fri Mar 04 12:14:21 1994 +0100
+++ b/src/FOL/ifol.thy	Thu Mar 17 11:24:31 1994 +0100
@@ -15,7 +15,7 @@
   term
 
 types
-  o 0
+  o
 
 arities
   o :: logic