--- a/src/CTT/CTT.thy Thu Mar 17 13:54:50 1994 +0100 +++ b/src/CTT/CTT.thy Thu Mar 17 17:48:37 1994 +0100 @@ -8,9 +8,13 @@ CTT = Pure + -types i,t,o 0 +types + i + t + o -arities i,t,o :: logic +arities + i,t,o :: logic consts (*Types*)