src/HOL/Hoare_Parallel/OG_Com.thy
2016-02-23 nipkow 2016-02-23 more canonical names
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-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2011-03-30 wenzelm 2011-03-30 modernized specifications;
2010-09-08 haftmann 2010-09-08 modernized primrec
2009-09-21 haftmann 2009-09-21 theory entry point for session Hoare_Parallel (now also with proper underscore)