src/HOL/Hoare_Parallel/RG_Examples.thy
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-01-02 wenzelm 2016-01-02 isabelle update_cartouches -c -t;
2014-12-27 wenzelm 2014-12-27 update_cartouches; trimmed whitespace;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-03-22 haftmann 2014-03-22 generalized and strengthened cong rules on compound operators, similar to 1ed737a98198
2013-07-09 wenzelm 2013-07-09 tuned proofs;
2013-02-14 wenzelm 2013-02-14 tuned proof;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-02-25 nipkow 2011-02-25 added simp lemma nth_Cons_pos to List
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)