src/HOL/Library/Rational_Numbers.thy
2000-12-15 wenzelm 2000-12-15 GPLed;
2000-12-13 wenzelm 2000-12-13 tuned comments;
2000-12-06 wenzelm 2000-12-06 left_minus axiom;
2000-12-06 wenzelm 2000-12-06 added Library/Rational_Numbers.thy;