src/HOL/Hoare_Parallel/RG_Hoare.thy
8 months ago haftmann 2018-11-18 removed legacy input syntax
10 months ago paulson 2018-09-11 A few new results, elimination of duplicates and more use of "pairwise"
18 months ago wenzelm 2018-01-16 standardized towards new-style formal comments: isabelle update_comments;
2016-02-17 haftmann 2016-02-17 prefer abbreviations for compound operators INFIMUM and SUPREMUM
2016-01-02 wenzelm 2016-01-02 isabelle update_cartouches -c -t;
2015-03-25 wenzelm 2015-03-25 prefer local fixes;
2014-12-27 wenzelm 2014-12-27 update_cartouches; trimmed whitespace;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-11-01 wenzelm 2014-11-01 eliminated spurious semicolons;
2014-02-14 blanchet 2014-02-14 merged 'List.map' and 'List.list.map'
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-12-25 haftmann 2013-12-25 prefer abstract simp rule
2013-07-11 wenzelm 2013-07-11 more precise fact declarations -- fewer warnings;
2011-03-30 wenzelm 2011-03-30 modernized specifications;
2011-02-25 nipkow 2011-02-25 added simp lemma nth_Cons_pos to List
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
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)