| Sun, 18 Sep 2005 15:20:08 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Thu, 06 Jul 2000 11:24:09 +0200 | paulson | removal of batch style, and tidying | file | diff | annotate |
| Wed, 28 Jul 1999 13:55:02 +0200 | paulson | renamed ...thm_pack... to ...pack... | file | diff | annotate |
| Tue, 27 Jul 1999 18:52:23 +0200 | paulson | renamed theory LK to LK0 | file | diff | annotate |