| Thu, 07 Sep 2000 21:12:49 +0200 | wenzelm | tuned ML code (the_context, bind_thms(s)); | file | diff | annotate |
| Thu, 07 Jan 1999 10:56:05 +0100 | paulson | if-then-else syntax for ZF | file | diff | annotate |
| Mon, 28 Dec 1998 16:56:07 +0100 | paulson | new theorem update_type | file | diff | annotate |
| Tue, 21 Jul 1998 12:12:52 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
| Fri, 17 Jul 1998 11:13:59 +0200 | paulson | as in HOL | file | diff | annotate |