src/HOL/Library/ROOT.ML
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-12-26 haftmann 2011-12-26 dropped Executable_Set wrapper theory
2011-11-14 hoelzl 2011-11-14 add Code_Real_Approx_By_Float
2011-08-28 haftmann 2011-08-28 avoid loading List_Cset and Dlist_Cet at the same time
2011-08-01 huffman 2011-08-01 new theory HOL/Library/Product_Lattice.thy
2011-05-18 bulwahn 2011-05-18 adding theory to force code generation of ordering on characters to built-in ordering of characters in target languages
2010-08-18 haftmann 2010-08-18 removed Code_Prolog: modifies global environment setup non-conservatively
2010-08-03 wenzelm 2010-08-03 renamed funny Library ROOT files back to default ROOT.ML -- ML files are no longer located via implicit load path (cf. 2b9bfa0b44f1);
2001-05-31 oheimb 2001-05-31 added Library/Nat_Infinity.thy and Library/Continuity.thy
2001-02-04 wenzelm 2001-02-04 tuned
2001-01-26 nipkow 2001-01-26 Merged Example into While_Combi
2000-10-18 wenzelm 2000-10-18 "The Supplemental Isabelle/HOL Library";