src/HOL/Hoare_Parallel/OG_Examples.thy
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-10-16 haftmann 2016-10-16 more standardized theorem names for facts involving the div and mod identity
2016-01-02 wenzelm 2016-01-02 isabelle update_cartouches -c -t;
2015-07-18 wenzelm 2015-07-18 prefer tactics with explicit context;
2015-05-09 nipkow 2015-05-09 undid 6d7b7a037e8d because it does not help but slows simplification down by up to 5% (AODV)
2015-05-03 nipkow 2015-05-03 swap False to the right in assumptions to be eliminated at the right end
2015-04-28 nipkow 2015-04-28 undid 6d7b7a037e8d
2015-04-28 paulson 2015-04-28 Fixed a non-terminating proof (almost certainly caused by no change of mind)
2014-12-27 wenzelm 2014-12-27 update_cartouches; trimmed whitespace;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-06-11 Thomas Sewell 2014-06-11 Hypsubst preserves equality hypotheses Fixes included for various theories affected by this change.
2014-06-28 haftmann 2014-06-28 fact consolidation
2013-08-28 wenzelm 2013-08-28 more symbols;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-05-13 wenzelm 2011-05-13 proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;
2010-01-03 nipkow 2010-01-03 removed more asm_rl's - unfortunately slowdown of 1 min.
2009-09-21 haftmann 2009-09-21 theory entry point for session Hoare_Parallel (now also with proper underscore)