Fri, 28 Jun 1996 15:29:05 +0200 | paulson | Removed the unused rel_eq_cs | changeset | files |
Fri, 28 Jun 1996 15:28:29 +0200 | paulson | Added contra_subsetD and rev_contra_subsetD | changeset | files |
Fri, 28 Jun 1996 15:27:53 +0200 | paulson | Added rev_notE by analogy with rev_mp | changeset | files |
Fri, 28 Jun 1996 15:26:39 +0200 | paulson | Proving safety properties of authentication protocols | changeset | files |
Fri, 28 Jun 1996 11:19:56 +0200 | paulson | Updated reference to Slinds paper on TFL | changeset | files |
Fri, 28 Jun 1996 11:16:12 +0200 | paulson | Now set_cs is just taken from !claset | changeset | files |