| Wed, 09 Feb 2000 11:45:10 +0100 | paulson | updated the Client example | file | diff | annotate |
| Fri, 14 Jan 2000 12:17:53 +0100 | paulson | still working; a bit of polishing | file | diff | annotate |
| Fri, 17 Dec 1999 10:30:48 +0100 | paulson | now workign as far as System_Alloc_Progress | file | diff | annotate |
| Wed, 13 Oct 1999 12:03:22 +0200 | paulson | new theorem set_mono | file | diff | annotate |
| Tue, 07 Sep 1999 10:40:58 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
| Wed, 21 Jul 1999 15:17:30 +0200 | paulson | tweaked proof after removal of diff_is_0_eq RS iffD2 | file | diff | annotate |
| Sun, 13 Jun 1999 13:54:34 +0200 | paulson | renamed pfix_[lg}e | file | diff | annotate |
| Thu, 10 Jun 1999 10:24:32 +0200 | paulson | Generalized prefix theory, replacing the reference to directory Lex. | file | diff | annotate |