src/HOL/Library/Fraction_Field.thy
Wed, 25 Dec 2013 17:39:06 +0100 haftmann prefer more canonical names for lemmas on min/max
Sun, 17 Nov 2013 17:46:06 +0100 wenzelm tuned proofs;
Fri, 01 Nov 2013 18:51:14 +0100 haftmann more simplification rules on unary and binary minus
Tue, 03 Sep 2013 01:12:40 +0200 wenzelm tuned proofs -- clarified flow of facts wrt. calculation;
Sun, 25 Aug 2013 23:20:25 +0200 wenzelm tuned proofs;
Fri, 12 Oct 2012 18:58:20 +0200 wenzelm discontinued obsolete typedef (open) syntax;
Sun, 01 Apr 2012 21:45:25 +0200 wenzelm more precise type annotation (cf. 6523a21076a8);
Tue, 21 Feb 2012 16:28:18 +0100 wenzelm misc tuning;
Wed, 30 Nov 2011 16:27:10 +0100 wenzelm prefer typedef without extra definition and alternative name;
Tue, 30 Nov 2010 17:19:11 +0100 haftmann adaptions to changes in Equiv_Relation.thy
Mon, 29 Nov 2010 13:44:54 +0100 haftmann equivI has replaced equiv.intro
Fri, 01 Oct 2010 16:05:25 +0200 haftmann constant `contents` renamed to `the_elem`
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