src/FOL/IFOL.thy
changeset 278 523518f44286
parent 79 74e68ed3b4fd
child 928 cb31a4e97f75
     1.1 --- a/src/FOL/IFOL.thy	Fri Mar 04 12:14:21 1994 +0100
     1.2 +++ b/src/FOL/IFOL.thy	Thu Mar 17 11:24:31 1994 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4    term
     1.5  
     1.6  types
     1.7 -  o 0
     1.8 +  o
     1.9  
    1.10  arities
    1.11    o :: logic