isabelle: File revisions

src/HOL/Auth/Kerberos_BAN_Gets.thy

2014-11-02	wenzelm	2014-11-02	modernized header uniformly as section;	file \| diff \| annotate
2014-02-12	blanchet	2014-02-12	adapted to 'xxx_{case,rec}' renaming, to new theorem names, and to new variable names in theorems * * * more transition of 'xxx_rec' to 'rec_xxx' and same for case * * * compile * * * 'rename_tac's to avoid referring to generated names * * * more robust scripts with 'rename_tac' * * * 'where' -> 'of' * * * 'where' -> 'of' * * * renamed 'xxx_rec' to 'rec_xxx'	file \| diff \| annotate
2011-09-12	nipkow	2011-09-12	new fastforce replacing fastsimp - less confusing name	file \| diff \| annotate
2010-09-09	paulson	2010-09-09	Tidied up proofs using sledgehammer, also deleting unnecessary semicolons	file \| diff \| annotate
2010-07-22	wenzelm	2010-07-22	updated some headers;	file \| diff \| annotate
2010-05-12	wenzelm	2010-05-12	modernized specifications;	file \| diff \| annotate
2009-10-17	wenzelm	2009-10-17	eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;	file \| diff \| annotate
2007-07-11	berghofe	2007-07-11	Adapted to new inductive definition package.	file \| diff \| annotate
2006-11-17	wenzelm	2006-11-17	more robust syntax for definition/abbreviation/notation;	file \| diff \| annotate
2006-09-28	wenzelm	2006-09-28	replaced syntax/translations by abbreviation;	file \| diff \| annotate
2006-02-01	paulson	2006-02-01	new and updated protocol proofs by Giamp Bella	file \| diff \| annotate

isabelle

RSS Atom