src/HOL/Hyperreal/HyperArith.thy
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-24 paulson 2004-06-24 replaced monomorphic abs definitions by abs_if
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-02-02 paulson 2004-02-02 Conversion of HyperNat to Isar format and its declaration as a semiring
2004-01-29 paulson 2004-01-29 simplifications in the hyperreals
2004-01-28 paulson 2004-01-28 tidying up arithmetic for the hyperreals
2004-01-12 paulson 2004-01-12 Modified real arithmetic simplification
2003-12-25 paulson 2003-12-25 re-organized some hyperreal and real lemmas
2003-12-22 paulson 2003-12-22 moving HyperArith0.ML to other theories
2000-12-30 paulson 2000-12-30 separation of HOL-Hyperreal from HOL-Real