src/HOL/Library/Fraction_Field.thy
2010-02-24 haftmann 2010-02-24 renamed theory Rational to Rat
2009-07-14 haftmann 2009-07-14 code attributes use common underscore convention
2009-06-23 chaieb 2009-06-23 Added Library/Fraction_Field.thy: The fraction field of any integral domain