src/HOL/Auth/WooLam.ML
Thu, 05 Dec 1996 18:57:49 +0100 paulson Updated a comment
Fri, 29 Nov 1996 17:58:18 +0100 paulson Swapping arguments of Crypt; removing argument lost
Thu, 28 Nov 1996 15:56:04 +0100 paulson Addition of Woo-Lam protocol
less more (0) tip