Thu, 04 Mar 2004 12:06:07 +0100 | paulson | new material from Avigad, and simplified treatment of division by 0 | file | diff | annotate |
Mon, 01 Mar 2004 13:51:21 +0100 | paulson | new Ring_and_Field hierarchy, eliminating redundant axioms | file | diff | annotate |
Sun, 15 Feb 2004 10:46:37 +0100 | paulson | Polymorphic treatment of binary arithmetic using axclasses | file | diff | annotate |
Tue, 10 Feb 2004 12:02:11 +0100 | paulson | generic of_nat and of_int functions, and generalization of iszero | 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 |