| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Thu, 28 Sep 2006 23:42:35 +0200 | wenzelm | replaced syntax/translations by abbreviation; | file | diff | annotate |
| Wed, 04 Jan 2006 16:13:53 +0100 | paulson | a few more named lemmas | file | diff | annotate |
| Wed, 26 Oct 2005 16:31:53 +0200 | paulson | tidied away duplicate thm | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 23 Sep 2003 15:41:33 +0200 | paulson | Removal of the Key_supply axiom (affects many possbility proofs) and minor | file | diff | annotate |