src/HOL/Auth/OtwayRees_AN.thy
1996-11-29 paulson 1996-11-29 Swapped arguments of Crypt (for clarity and because it is conventional)
1996-10-28 paulson 1996-10-28 Changing from the Reveal to the Oops rule
1996-10-10 paulson 1996-10-10 Abadi and Needham's variant of Otway-Rees