isabelle: File revisions

src/HOL/Auth/Yahalom2.thy

1997-07-01	paulson	1997-07-01	Deleted a redundant A~=B in rules that refer to a previous event	file \| diff \| annotate
1997-06-27	paulson	1997-06-27	Corrected indentations and margins after the renaming of "set_of_list"	file \| diff \| annotate
1997-06-26	nipkow	1997-06-26	set_of_list -> set	file \| diff \| annotate
1997-06-18	paulson	1997-06-18	Corrected Title in header lines	file \| diff \| annotate
1997-06-09	paulson	1997-06-09	Strengthened and streamlined the Yahalom proofs	file \| diff \| annotate
1997-01-17	paulson	1997-01-17	Now with Andy Gordon's treatment of freshness to replace newN/K	file \| diff \| annotate
1996-12-19	paulson	1996-12-19	Extensive tidying and simplification, largely stemming from changing newN and newK to take an integer argument	file \| diff \| annotate
1996-12-13	paulson	1996-12-13	Removed needless quotation marks	file \| diff \| annotate
1996-11-29	paulson	1996-11-29	Swapped arguments of Crypt (for clarity and because it is conventional)	file \| diff \| annotate
1996-11-01	paulson	1996-11-01	New version with simpler disambiguation in YM3, Oops message, and no encryption in YM2	file \| diff \| annotate
1996-10-18	paulson	1996-10-18	New version of Yahalom, as recommended on p 259 of BAN paper	file \| diff \| annotate

isabelle