| Tue, 17 Feb 2004 10:41:59 +0100 | paulson | further tweaks to the numeric theories | file | diff | annotate |
| Sun, 15 Feb 2004 10:46:37 +0100 | paulson | Polymorphic treatment of binary arithmetic using axclasses | 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 |
| Wed, 14 Jan 2004 00:13:04 +0100 | nipkow | Told linear arithmetic package about injections "real" from nat/int into real. | file | diff | annotate |
| Mon, 05 May 2003 18:23:40 +0200 | paulson | New material on integration, etc. Moving Hyperreal/ex | file | diff | annotate |