src/HOL/SET_Protocol/Cardholder_Registration.thy
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-03-25 wenzelm 2015-03-25 prefer local fixes;
2015-02-10 wenzelm 2015-02-10 misc tuning;
2014-11-10 wenzelm 2014-11-10 proper context for assume_tac (atac remains as fall-back without context);
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
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'
2013-04-27 wenzelm 2013-04-27 uniform Proof.context for hyp_subst_tac;
2011-05-15 wenzelm 2011-05-15 simplified/unified method_setup/attribute_setup;
2010-09-28 haftmann 2010-09-28 modernized primrecs
2009-10-20 wenzelm 2009-10-20 modernized session SET_Protocol;