| Tue, 27 Apr 2010 09:49:36 +0200 | haftmann | tuned class linordered_field_inverse_zero | file | diff | annotate |
| Mon, 26 Apr 2010 15:37:50 +0200 | haftmann | use new classes (linordered_)field_inverse_zero | file | diff | annotate |
| 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 | file | diff | annotate |
| Sat, 24 Apr 2010 09:34:36 -0700 | huffman | Library/Fraction_Field.thy: ordering relations for fractions | file | diff | annotate |
| Fri, 23 Apr 2010 16:45:53 +0200 | haftmann | separated instantiation of division_by_zero | file | diff | annotate |
| Wed, 24 Feb 2010 14:34:40 +0100 | haftmann | renamed theory Rational to Rat | file | diff | annotate |
| Tue, 14 Jul 2009 10:54:04 +0200 | haftmann | code attributes use common underscore convention | file | diff | annotate |
| Tue, 23 Jun 2009 10:22:11 +0200 | chaieb | Added Library/Fraction_Field.thy: The fraction field of any integral | file | diff | annotate |