src/HOL/Auth/WooLam.thy
1996-11-28 paulson 1996-11-28 Addition of Woo-Lam protocol