src/HOL/Library/Library.thy
Mon, 26 Mar 2007 14:53:02 +0200 haftmann importing Eval theory
Mon, 26 Feb 2007 21:34:16 +0100 krauss Added formalization of size-change principle (experimental).
Mon, 04 Dec 2006 15:15:59 +0100 krauss added Ramsey.thy to Library imports, to include it in the daily builds
Wed, 08 Nov 2006 23:11:13 +0100 wenzelm moved theories Parity, GCD, Binomial to Library;
Mon, 06 Nov 2006 16:28:33 +0100 haftmann added state monad to HOL library
Sun, 01 Oct 2006 18:29:26 +0200 wenzelm moved theory Infinite_Set to Library;
Mon, 21 Aug 2006 11:02:39 +0200 haftmann added some codegen examples/applications
Tue, 09 May 2006 10:13:09 +0200 haftmann added ExecutableRat.thy
Fri, 05 May 2006 17:17:21 +0200 krauss First usable version of the new function definition package (HOL/function_packake/...).
Wed, 26 Apr 2006 07:01:33 +0200 kleing moved arithmetic series to geometric series in SetInterval
Fri, 07 Apr 2006 03:20:34 +0200 kleing renamed ASeries to Arithmetic_Series, removed the ^M
Fri, 10 Mar 2006 16:05:34 +0100 schirmer Added Library/AssocList.thy
Sun, 19 Feb 2006 13:21:32 +0100 kleing * added Library/ASeries (sum of arithmetic series with instantiation to nat and int)
Tue, 13 Dec 2005 19:32:04 +0100 wenzelm added HOL/Library/Coinductive_List.thy;
Sun, 25 Sep 2005 20:12:59 +0200 berghofe Added ExecutableSet.
Tue, 20 Sep 2005 14:10:29 +0200 wenzelm added Commutative_Ring (from Main HOL);
Mon, 01 Aug 2005 11:39:33 +0200 obua 1. changed configuration variables for linear programming (Cplex_tools):
Mon, 25 Jul 2005 18:54:49 +0200 avigad Added two new theories to HOL/Library: SetsAndFunctions.thy and BigO.thy
Sun, 29 May 2005 12:41:40 +0200 obua Removes an inconsistent definition from Library.thy ,
Thu, 14 Apr 2005 17:57:04 +0200 nipkow Removed dir Orderings in Library
Wed, 26 Jan 2005 16:39:44 +0100 nipkow added OptionalSugar
Wed, 24 Nov 2004 10:30:19 +0100 berghofe Added EfficientNat
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Thu, 06 May 2004 14:14:18 +0200 wenzelm tuned document;
Mon, 29 Mar 2004 15:35:04 +0200 skalberg Added bitvector library (Word) to HOL/Library and a theory using it (Adder)
Tue, 27 Jan 2004 15:39:51 +0100 paulson replacing HOL/Real/PRat, PNat by the rational number development
Mon, 24 Nov 2003 15:33:07 +0100 paulson conversion of integers to use Ring_and_Field;
Thu, 24 Jul 2003 16:37:04 +0200 paulson new theory NatPair of the injection from nat*nat -> nat
Sat, 09 Jun 2001 14:18:19 +0200 wenzelm tuned Primes theory;
Thu, 31 May 2001 16:52:54 +0200 oheimb added Library/Nat_Infinity.thy and Library/Continuity.thy
Sun, 04 Feb 2001 19:43:15 +0100 wenzelm added Permutation;
Fri, 26 Jan 2001 15:50:52 +0100 nipkow Merged Example into While_Combi
Sat, 20 Jan 2001 00:35:10 +0100 wenzelm Ring_and_Field_Example;
Fri, 19 Jan 2001 23:53:07 +0100 wenzelm added HOL/Library/Nested_Environment.thy;
Wed, 06 Dec 2000 21:52:49 +0100 wenzelm activate Rational_Numbers;
Wed, 06 Dec 2000 21:32:25 +0100 wenzelm deactivate Rational_Numbers (tmp!);
Wed, 06 Dec 2000 20:45:36 +0100 wenzelm Rational_Numbers;
Fri, 17 Nov 2000 18:47:33 +0100 wenzelm Ring_and_Field;
Wed, 25 Oct 2000 18:32:40 +0200 wenzelm added List_Prefix;
Wed, 18 Oct 2000 23:31:16 +0200 wenzelm "The Supplemental Isabelle/HOL Library";
less more (0) tip