| Wed, 24 May 2000 18:44:19 +0200 | paulson | rewrote a very long proof (Key_analz_image_Key) because it had stopped working | file | diff | annotate |
| Wed, 19 Apr 2000 11:09:59 +0200 | paulson | removal of less_SucI, le_SucI from default simpset | file | diff | annotate |
| Tue, 07 Sep 1999 10:40:58 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
| Mon, 06 Sep 1999 18:18:40 +0200 | oheimb | added theorems le_maxI1 and le_maxI2, also in claset | file | diff | annotate |
| Tue, 17 Aug 1999 22:14:02 +0200 | wenzelm | HOL_quantifiers; | file | diff | annotate |
| Tue, 20 Apr 1999 14:33:48 +0200 | paulson | addition of Kerberos IV example | file | diff | annotate |