| Thu, 22 Aug 1996 12:24:58 +0200 | paulson | Proved mem_if | changeset | files |
| Thu, 22 Aug 1996 12:24:25 +0200 | paulson | Proved set_of_list_subset_Cons | changeset | files |
| Thu, 22 Aug 1996 12:18:21 +0200 | paulson | For building the security theory as a separate database | changeset | files |
| Wed, 21 Aug 1996 13:25:27 +0200 | paulson | Separation of theory Event into two parts: | changeset | files |
| Wed, 21 Aug 1996 13:22:23 +0200 | paulson | Addition of message NS5 | changeset | files |
| Wed, 21 Aug 1996 11:43:37 +0200 | paulson | Tidying: removing redundant args in classical reasoner calls | changeset | files |
| Wed, 21 Aug 1996 11:00:04 +0200 | paulson | Added le_eq_less_Suc; fixed some comments; | changeset | files |