src/CTT/CTT.thy
changeset 14854 61bdf2ae4dc5
parent 14765 bafb24c150c1
child 17441 5b5feca0344a
     1.1 --- a/src/CTT/CTT.thy	Tue Jun 01 11:25:26 2004 +0200
     1.2 +++ b/src/CTT/CTT.thy	Tue Jun 01 12:33:50 2004 +0200
     1.3 @@ -13,9 +13,6 @@
     1.4    t
     1.5    o
     1.6  
     1.7 -arities
     1.8 -   i,t,o :: logic
     1.9 -
    1.10  consts
    1.11    (*Types*)
    1.12    F,T       :: "t"          (*F is empty, T contains one element*)