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