src/HOL/Hyperreal/HyperArith0.ML
Mon, 08 Jan 2001 11:06:24 +0100 paulson additional pattern allows reduction of fractions to lowest terms
Fri, 05 Jan 2001 10:17:48 +0100 paulson more removal of obsolete rules
Sat, 30 Dec 2000 22:03:47 +0100 paulson separation of HOL-Hyperreal from HOL-Real
less more (0) tip