Tue, 26 Aug 2008 12:07:06 +0200 | nipkow | Defined rationals (Rats) globally in Rational. | file | diff | annotate |
Fri, 18 Jul 2008 18:25:53 +0200 | haftmann | moved op dvd to theory Ring_and_Field; generalized a couple of lemmas | file | diff | annotate |
Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |