src/HOL/Hoare/Hoare_Logic_Abort.thy
Mon, 12 Sep 2011 07:55:43 +0200 nipkow new fastforce replacing fastsimp - less confusing name
Wed, 30 Mar 2011 23:26:40 +0200 wenzelm modernized specifications;
Tue, 29 Mar 2011 21:48:01 +0200 wenzelm use shared copy of hoare_syntax.ML;
Tue, 29 Mar 2011 21:11:02 +0200 wenzelm Hoare syntax: standard abstraction syntax admits source positions;
Tue, 22 Mar 2011 16:39:34 +0100 wenzelm Hoare syntax: strip positions where they crash translation functions;
Sun, 13 Mar 2011 22:55:50 +0100 wenzelm tuned headers;
Mon, 28 Jun 2010 15:03:07 +0200 haftmann merged constants "split" and "prod_case"
Tue, 04 May 2010 14:11:28 +0200 berghofe Turned Sem into an inductive definition.
Mon, 01 Mar 2010 13:42:31 +0100 haftmann merged
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Wed, 24 Feb 2010 21:55:46 +0100 wenzelm observe standard convention for syntax consts;
Tue, 23 Feb 2010 10:11:49 +0100 haftmann dropped axclass; dropped Id; session theory Hoare.thy
less more (0) tip