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