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 |