src/HOL/Auth/OtwayRees.thy
Fri, 13 Dec 1996 11:00:44 +0100 paulson Removed needless quotation marks
Fri, 29 Nov 1996 18:03:21 +0100 paulson Swapped arguments of Crypt (for clarity and because it is conventional)
Mon, 28 Oct 1996 15:59:39 +0100 paulson Minor corrections
Fri, 18 Oct 1996 11:39:10 +0200 paulson Important correction to comment
Mon, 07 Oct 1996 10:55:51 +0200 paulson Simple tidying
Thu, 26 Sep 1996 12:50:48 +0200 paulson Introduction of "lost" argument
Mon, 23 Sep 1996 18:21:31 +0200 paulson Correction of protocol; addition of Reveal message; proofs of
Wed, 11 Sep 1996 18:40:55 +0200 paulson Reformatting
Tue, 03 Sep 1996 16:43:31 +0200 paulson Initial working proof of Otway-Rees protocol
less more (0) tip