src/HOL/Library/Fraction_Field.thy
2012-02-21 wenzelm 2012-02-21 misc tuning; more indentation;
2011-11-30 wenzelm 2011-11-30 prefer typedef without extra definition and alternative name; tuned proofs;
2010-11-30 haftmann 2010-11-30 adaptions to changes in Equiv_Relation.thy
2010-11-29 haftmann 2010-11-29 equivI has replaced equiv.intro
2010-10-01 haftmann 2010-10-01 constant `contents` renamed to `the_elem`
2010-07-12 haftmann 2010-07-12 dropped superfluous [code del]s
2010-04-27 haftmann 2010-04-27 tuned class linordered_field_inverse_zero
2010-04-26 haftmann 2010-04-26 use new classes (linordered_)field_inverse_zero
2010-04-26 haftmann 2010-04-26 dropped group_simps, ring_simps, field_eq_simps; classes division_ring_inverse_zero, field_inverse_zero, linordered_field_inverse_zero
2010-04-24 huffman 2010-04-24 Library/Fraction_Field.thy: ordering relations for fractions
2010-04-23 haftmann 2010-04-23 separated instantiation of division_by_zero
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