src/CTT/CTT.thy

--- a/src/CTT/CTT.thy	Tue Jun 01 11:25:26 2004 +0200
+++ b/src/CTT/CTT.thy	Tue Jun 01 12:33:50 2004 +0200
@@ -13,9 +13,6 @@
   t
   o
 
-arities
-   i,t,o :: logic
-
 consts
   (*Types*)
   F,T       :: "t"          (*F is empty, T contains one element*)