src/HOL/Library/Library.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-05-06 wenzelm 2004-05-06 tuned document;
2004-03-29 skalberg 2004-03-29 Added bitvector library (Word) to HOL/Library and a theory using it (Adder) to HOL/ex.
2004-01-27 paulson 2004-01-27 replacing HOL/Real/PRat, PNat by the rational number development of Markus Wenzel
2003-11-24 paulson 2003-11-24 conversion of integers to use Ring_and_Field; new lemmas for Ring_and_Field
2003-07-24 paulson 2003-07-24 new theory NatPair of the injection from nat*nat -> nat
2001-06-09 wenzelm 2001-06-09 tuned Primes theory;
2001-05-31 oheimb 2001-05-31 added Library/Nat_Infinity.thy and Library/Continuity.thy
2001-02-04 wenzelm 2001-02-04 added Permutation;
2001-01-26 nipkow 2001-01-26 Merged Example into While_Combi
2001-01-20 wenzelm 2001-01-20 Ring_and_Field_Example;
2001-01-19 wenzelm 2001-01-19 added HOL/Library/Nested_Environment.thy;
2000-12-06 wenzelm 2000-12-06 activate Rational_Numbers;
2000-12-06 wenzelm 2000-12-06 deactivate Rational_Numbers (tmp!);
2000-12-06 wenzelm 2000-12-06 Rational_Numbers;
2000-11-17 wenzelm 2000-11-17 Ring_and_Field;
2000-10-25 wenzelm 2000-10-25 added List_Prefix;
2000-10-18 wenzelm 2000-10-18 "The Supplemental Isabelle/HOL Library";