| 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
|
| Thu, 24 Jul 2003 16:36:29 +0200 |
paulson |
Tidying and replacement of some axioms by specifications
|
file |
diff |
annotate
|
| Mon, 05 May 2003 18:22:01 +0200 |
paulson |
improved presentation of HOL/Auth theories
|
file |
diff |
annotate
|
| Tue, 29 Apr 2003 12:36:49 +0200 |
paulson |
tweaks
|
file |
diff |
annotate
|
| Sat, 26 Apr 2003 12:38:42 +0200 |
paulson |
converting more HOL-Auth to new-style theories
|
file |
diff |
annotate
|
| Fri, 25 Apr 2003 11:18:14 +0200 |
paulson |
Changes required by the certified email protocol
|
file |
diff |
annotate
|
| Mon, 06 Aug 2001 13:12:06 +0200 |
paulson |
three new theorems
|
file |
diff |
annotate
|
| Sat, 19 May 2001 12:19:23 +0200 |
paulson |
spelling check
|
file |
diff |
annotate
|
| Mon, 05 Mar 2001 12:31:31 +0100 |
paulson |
a few basic X-symbols
|
file |
diff |
annotate
|