src/HOL/Auth/WooLam.thy
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