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 |