src/HOL/Library/Library.thy
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