Tue, 27 Jan 2004 15:39:51 +0100 | paulson | replacing HOL/Real/PRat, PNat by the rational number development | file | diff | annotate |
Wed, 17 Dec 2003 16:23:52 +0100 | paulson | converted Hyperreal/HyperDef to Isar script | file | diff | annotate |
Fri, 28 Nov 2003 12:09:37 +0100 | paulson | conversion of some Real theories to Isar scripts | file | diff | annotate |
Tue, 16 Jan 2001 12:20:52 +0100 | paulson | renamings: real_of_nat, real_of_int -> (overloaded) real | file | diff | annotate |
Thu, 04 Jan 2001 10:23:01 +0100 | paulson | more tidying, especially to remove real_of_posnat | file | diff | annotate |
Sat, 30 Dec 2000 22:03:46 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |