src/HOL/Hoare_Parallel/Gar_Coll.thy
2016-01-02 wenzelm 2016-01-02 isabelle update_cartouches -c -t;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2014-12-27 wenzelm 2014-12-27 update_cartouches; trimmed whitespace;
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;
2013-08-28 wenzelm 2013-08-28 more symbols;
2013-07-11 wenzelm 2013-07-11 more precise fact declarations -- fewer warnings;
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2011-12-13 wenzelm 2011-12-13 modernized specifications;
2011-05-13 wenzelm 2011-05-13 proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-01-03 nipkow 2010-01-03 removed more asm_rl's - unfortunately slowdown of 1 min.
2009-09-21 haftmann 2009-09-21 tuned proofs; be more cautios wrt. default simp rules
2009-09-21 haftmann 2009-09-21 theory entry point for session Hoare_Parallel (now also with proper underscore)