Sun, 18 Sep 2005 15:20:08 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
Wed, 28 Jul 1999 13:55:34 +0200 | paulson | congruence rule for |-, etc. | file | diff | annotate |
Tue, 27 Jul 1999 18:58:40 +0200 | paulson | fixed the comments... | file | diff | annotate |
Tue, 27 Jul 1999 18:50:14 +0200 | paulson | Sequents/LK/Nat: new example of simplification in LK | file | diff | annotate |