src/Sequents/ILL.ML
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
2000-07-06 paulson 2000-07-06 removal of batch style, and tidying
1999-04-20 paulson 1999-04-20 tidied
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)