src/Sequents/LK/Nat.ML
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
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