src/HOL/Library/Nested_Environment.thy
Fri, 16 Apr 2010 21:28:09 +0200 wenzelm replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
Sat, 16 Jan 2010 17:15:28 +0100 haftmann dropped some old primrecs and some constdefs
Wed, 23 Sep 2009 14:00:12 +0200 haftmann Code_Eval(uation)
Mon, 23 Mar 2009 08:14:24 +0100 haftmann Main is (Complex_Main) base entry point in library theories
Fri, 10 Oct 2008 06:45:53 +0200 haftmann `code func` now just `code`
Tue, 16 Sep 2008 09:21:24 +0200 haftmann evaluation using code generator
Mon, 07 Jul 2008 08:47:17 +0200 haftmann absolute imports of HOL/*.thy theories
Thu, 26 Jun 2008 10:07:01 +0200 haftmann established Plain theory and image
Tue, 22 Apr 2008 08:33:16 +0200 haftmann constant HOL.eq now qualified
Wed, 02 Apr 2008 15:58:32 +0200 haftmann explicit class "eq" for operational equality
Mon, 10 Dec 2007 11:24:12 +0100 haftmann switched import from Main to List
Mon, 27 Aug 2007 11:34:14 +0200 haftmann added explicit equation for equality of nested environments
Thu, 14 Jun 2007 23:04:39 +0200 wenzelm tuned proofs;
Mon, 11 Sep 2006 21:35:19 +0200 wenzelm induct method: renamed 'fixing' to 'arbitrary';
Wed, 04 Jan 2006 19:22:53 +0100 nipkow Reversed Larry's option/iff change.
Wed, 21 Dec 2005 12:02:57 +0100 paulson removed or modified some instances of [iff]
Thu, 10 Nov 2005 21:14:05 +0100 wenzelm tuned proofs;
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Tue, 16 Oct 2001 17:58:13 +0200 wenzelm tuned induction proofs;
Sat, 20 Jan 2001 00:35:35 +0100 wenzelm tuned;
Fri, 19 Jan 2001 23:53:07 +0100 wenzelm added HOL/Library/Nested_Environment.thy;
less more (0) tip