--- 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