--- a/src/Sequents/LK.thy Tue Apr 20 14:36:19 1999 +0200 +++ b/src/Sequents/LK.thy Tue Apr 20 14:38:17 1999 +0200 @@ -11,6 +11,11 @@ LK = Sequents + +classes + term < logic + +default + term consts