src/HOL/SET_Protocol/Purchase.thy
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-06-11 Thomas Sewell 2014-06-11 Hypsubst preserves equality hypotheses Fixes included for various theories affected by this change.
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-03-10 huffman 2010-03-10 convert SET_Protocol to use Nat_Bijection library
2009-10-20 wenzelm 2009-10-20 modernized session SET_Protocol;