src/HOL/Hoare_Parallel/Mul_Gar_Coll.thy
Wed, 28 Aug 2013 00:18:50 +0200 wenzelm more symbols;
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Tue, 13 Dec 2011 15:18:52 +0100 wenzelm modernized specifications;
Fri, 13 May 2011 23:58:40 +0200 wenzelm clarified map_simpset versus Simplifier.map_simpset_global;
Fri, 13 May 2011 22:55:00 +0200 wenzelm proper Proof.context for classical tactics;
Mon, 06 Sep 2010 19:13:10 +0200 wenzelm more antiquotations;
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Mon, 21 Sep 2009 12:23:52 +0200 haftmann tuned proofs; be more cautios wrt. default simp rules
Mon, 21 Sep 2009 10:58:25 +0200 haftmann theory entry point for session Hoare_Parallel (now also with proper underscore)
less more (0) tip