src/Sequents/LK0.thy
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
2005-05-22 wenzelm 2005-05-22 Simplifier already setup in Pure;
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
2004-05-21 wenzelm 2004-05-21 proper use of 'syntax';
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2002-01-08 wenzelm 2002-01-08 syntax "_not_equal";
2001-11-09 wenzelm 2001-11-09 got rid of obsolete input filtering;
1999-08-03 paulson 1999-08-03 Sara Kalvala: moving the <<...>> notation from LK to Sequents
1999-07-28 paulson 1999-07-28 adding missing declarations for the <<...>> notation
1999-07-27 paulson 1999-07-27 renamed theory LK to LK0