src/Sequents/LK/Nat.thy
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
1999-07-28 paulson 1999-07-28 congruence rule for |-, etc.
1999-07-27 paulson 1999-07-27 fixed the comments...
1999-07-27 paulson 1999-07-27 Sequents/LK/Nat: new example of simplification in LK