src/Sequents/LK0.thy
changeset 14854 61bdf2ae4dc5
parent 14765 bafb24c150c1
child 16019 0e1405402d53
--- a/src/Sequents/LK0.thy	Tue Jun 01 11:25:26 2004 +0200
+++ b/src/Sequents/LK0.thy	Tue Jun 01 12:33:50 2004 +0200
@@ -13,11 +13,8 @@
 
 global
 
-classes
-  term < logic
-
-default
-  term
+classes term
+default term
 
 consts