diff -r 8d710bece29f -r 61bdf2ae4dc5 src/Sequents/Sequents.thy
--- a/src/Sequents/Sequents.thy	Tue Jun 01 11:25:26 2004 +0200
+++ b/src/Sequents/Sequents.thy	Tue Jun 01 12:33:50 2004 +0200
@@ -14,9 +14,6 @@
 types
   o 
 
-arities
-  o :: logic
-
 
 (* Sequences *)