src/HOL/Hoare_Parallel/RG_Tran.thy
Tue, 16 Jan 2018 09:30:00 +0100 wenzelm standardized towards new-style formal comments: isabelle update_comments;
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Sat, 02 Jan 2016 18:48:45 +0100 wenzelm isabelle update_cartouches -c -t;
Wed, 25 Mar 2015 10:44:57 +0100 wenzelm prefer local fixes;
Sat, 27 Dec 2014 20:32:06 +0100 wenzelm update_cartouches;
Sun, 02 Nov 2014 17:36:52 +0100 wenzelm modernized header;
Thu, 13 Mar 2014 07:07:07 +0100 nipkow enhanced simplifier solver for preconditions of rewrite rule, can now deal with conjunctions
Wed, 12 Feb 2014 08:37:06 +0100 blanchet adapted to 'xxx_{case,rec}' renaming, to new theorem names, and to new variable names in theorems
Thu, 14 Feb 2013 16:25:13 +0100 wenzelm obsolete;
Thu, 14 Feb 2013 16:17:36 +0100 wenzelm tuned proofs;
Wed, 30 Mar 2011 23:26:40 +0200 wenzelm modernized specifications;
Fri, 25 Feb 2011 14:25:41 +0100 nipkow added simp lemma nth_Cons_pos to List
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
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