Tue, 10 Feb 2004 12:02:11 +0100 | paulson | generic of_nat and of_int functions, and generalization of iszero | file | diff | annotate |
Wed, 28 Jan 2004 17:01:01 +0100 | paulson | tidying up arithmetic for the hyperreals | file | diff | annotate |
Wed, 28 Jan 2004 10:41:49 +0100 | paulson | converted Real/Lubs to Isar script. Converting arithmetic setup | file | diff | annotate |
Tue, 27 Jan 2004 15:39:51 +0100 | paulson | replacing HOL/Real/PRat, PNat by the rational number development | file | diff | annotate |