| Sun, 18 Sep 2005 15:20:08 +0200 | wenzelm | converted to Isar theory format; | 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 |