| Wed, 01 Feb 2006 19:19:32 +0100 | berghofe | Added "evaluation" method and oracle. | changeset | files |
| Wed, 01 Feb 2006 15:22:02 +0100 | paulson | new and updated protocol proofs by Giamp Bella | changeset | files |
| Wed, 01 Feb 2006 12:23:14 +0100 | haftmann | substantial cleanup and simplifications | changeset | files |
| Wed, 01 Feb 2006 12:22:47 +0100 | haftmann | name clarifications | changeset | files |
| Wed, 01 Feb 2006 12:22:19 +0100 | haftmann | added map_entry_yield | changeset | files |
| Wed, 01 Feb 2006 01:05:17 +0100 | urbanc | - renamed some lemmas (some had names coming from ancient | changeset | files |
| Wed, 01 Feb 2006 01:03:41 +0100 | urbanc | added all constructors from PhD | changeset | files |