src/HOL/Library/Fraction_Field.thy
Mon, 12 Jul 2010 08:58:13 +0200 haftmann dropped superfluous [code del]s
Tue, 27 Apr 2010 09:49:36 +0200 haftmann tuned class linordered_field_inverse_zero
Mon, 26 Apr 2010 15:37:50 +0200 haftmann use new classes (linordered_)field_inverse_zero
Mon, 26 Apr 2010 11:34:15 +0200 haftmann dropped group_simps, ring_simps, field_eq_simps; classes division_ring_inverse_zero, field_inverse_zero, linordered_field_inverse_zero
Sat, 24 Apr 2010 09:34:36 -0700 huffman Library/Fraction_Field.thy: ordering relations for fractions
Fri, 23 Apr 2010 16:45:53 +0200 haftmann separated instantiation of division_by_zero
Wed, 24 Feb 2010 14:34:40 +0100 haftmann renamed theory Rational to Rat
Tue, 14 Jul 2009 10:54:04 +0200 haftmann code attributes use common underscore convention
Tue, 23 Jun 2009 10:22:11 +0200 chaieb Added Library/Fraction_Field.thy: The fraction field of any integral
less more (0) tip