src/HOL/Hyperreal/HRealAbs.thy
Tue, 16 Jan 2001 12:20:52 +0100 paulson renamings: real_of_nat, real_of_int -> (overloaded) real
Thu, 04 Jan 2001 10:23:01 +0100 paulson more tidying, especially to remove real_of_posnat
Sat, 30 Dec 2000 22:03:46 +0100 paulson separation of HOL-Hyperreal from HOL-Real
less more (0) tip