Tue, 10 Feb 2004 12:02:11 +0100 | paulson | generic of_nat and of_int functions, and generalization of iszero | file | diff | annotate |
Thu, 05 Feb 2004 10:45:28 +0100 | paulson | tidying up, especially the Complex numbers | file | diff | annotate |
Thu, 29 Jan 2004 16:51:17 +0100 | paulson | simplifications in the hyperreals | file | diff | annotate |
Mon, 05 May 2003 18:22:31 +0200 | paulson | new session Complex for the complex numbers | file | diff | annotate |