src/CTT/CTT.thy
changeset 283 76caebd18756
parent 23 1cd377c2f7c6
child 1149 5750eba8820d
     1.1 --- a/src/CTT/CTT.thy	Thu Mar 17 13:54:50 1994 +0100
     1.2 +++ b/src/CTT/CTT.thy	Thu Mar 17 17:48:37 1994 +0100
     1.3 @@ -8,9 +8,13 @@
     1.4  
     1.5  CTT = Pure +
     1.6  
     1.7 -types i,t,o 0
     1.8 +types
     1.9 +  i
    1.10 +  t
    1.11 +  o
    1.12  
    1.13 -arities i,t,o :: logic
    1.14 +arities
    1.15 +   i,t,o :: logic
    1.16  
    1.17  consts
    1.18    (*Types*)