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 |
Fri, 28 Jun 1996 11:13:07 +0200 | paulson | Added type-checking to rule "combination". This corrects a fault | changeset | files |
Fri, 28 Jun 1996 11:10:32 +0200 | paulson | Restored warning comment | changeset | files |