src/Sequents/LK0.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-07-28 paulson 1999-07-28 renamed ...thm_pack... to ...pack...
1999-07-27 paulson 1999-07-27 renamed theory LK to LK0