src/HOL/Real/Rational.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-09-13 huffman 2006-09-13 added instance rat :: recpower
2006-09-06 haftmann 2006-09-06 got rid of Numeral.bin type
2006-06-02 wenzelm 2006-06-02 misc cleanup;
2006-02-09 huffman 2006-02-09 removed redundant lemmas
2006-02-09 huffman 2006-02-09 no longer need All_equiv lemmas
2006-02-02 huffman 2006-02-02 reimplemented using Equiv_Relations.thy
2005-12-08 wenzelm 2005-12-08 tuned proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-01 paulson 2004-07-01 new treatment of binary numerals
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-05-01 wenzelm 2004-05-01 tuned instance statements;
2004-03-04 paulson 2004-03-04 new material from Avigad, and simplified treatment of division by 0
2004-03-01 paulson 2004-03-01 new Ring_and_Field hierarchy, eliminating redundant axioms
2004-02-15 paulson 2004-02-15 Polymorphic treatment of binary arithmetic using axclasses
2004-02-10 paulson 2004-02-10 generic of_nat and of_int functions, and generalization of iszero and neg
2004-01-27 paulson 2004-01-27 replacing HOL/Real/PRat, PNat by the rational number development of Markus Wenzel