src/HOL/Hoare/Separation.thy
Mon, 12 Sep 2011 07:55:43 +0200 nipkow new fastforce replacing fastsimp - less confusing name
Wed, 17 Aug 2011 18:05:31 +0200 wenzelm modernized signature of Term.absfree/absdummy;
Wed, 11 Aug 2010 18:41:06 +0200 wenzelm modernized specifications;
Mon, 01 Mar 2010 13:40:23 +0100 haftmann replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
Tue, 23 Feb 2010 10:11:15 +0100 haftmann dropped axclass; dropped Id; session theory Hoare.thy
Thu, 11 Feb 2010 22:19:58 +0100 wenzelm modernized translations;
Wed, 10 Feb 2010 23:53:46 +0100 wenzelm modernized translations;
Wed, 21 Dec 2005 12:02:57 +0100 paulson removed or modified some instances of [iff]
Fri, 07 Oct 2005 22:59:18 +0200 wenzelm print_translation: does not handle _idtdummy;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 26 Jun 2003 18:14:04 +0200 nipkow *** empty log message ***
Wed, 14 May 2003 14:20:55 +0200 nipkow eparation logic - a beginning.
Tue, 08 Apr 2003 09:05:39 +0200 nipkow First working version
Sun, 23 Mar 2003 11:57:07 +0100 nipkow *** empty log message ***
Mon, 17 Mar 2003 18:38:50 +0100 nipkow just a few mods to a few thms
Tue, 11 Mar 2003 15:04:24 +0100 nipkow *** empty log message ***
less more (0) tip