src/HOL/Auth/WooLam.thy
1997-01-17 paulson 1997-01-17 Now with Andy Gordon's treatment of freshness to replace newN/K
1996-12-19 paulson 1996-12-19 Extensive tidying and simplification, largely stemming from changing newN and newK to take an integer argument
1996-11-29 paulson 1996-11-29 Swapping arguments of Crypt; removing argument lost
1996-11-28 paulson 1996-11-28 Addition of Woo-Lam protocol