| 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 |