src/FOLP/IFOLP.thy
changeset 283 76caebd18756
parent 0 a5a9c433f639
child 648 e27c9ec2b48b
     1.1 --- a/src/FOLP/IFOLP.thy	Thu Mar 17 13:54:50 1994 +0100
     1.2 +++ b/src/FOLP/IFOLP.thy	Thu Mar 17 17:48:37 1994 +0100
     1.3 @@ -4,9 +4,12 @@
     1.4  
     1.5  default term
     1.6  
     1.7 -types p,o 0
     1.8 +types
     1.9 +  p
    1.10 +  o
    1.11  
    1.12 -arities p,o :: logic
    1.13 +arities
    1.14 +  p,o :: logic
    1.15  
    1.16  consts	
    1.17        (*** Judgements ***)