src/Sequents/LK.thy
1997-10-10 wenzelm 1997-10-10 fixed dots;
1996-10-09 paulson 1996-10-09 New unified treatment of sequent calculi by Sara Kalvala combines the old LK and Modal with the new ILL (Int. Linear Logic)