Thu, 04 Mar 2004 12:06:07 +0100 | paulson | new material from Avigad, and simplified treatment of division by 0 | file | diff | annotate |
Tue, 24 Feb 2004 16:38:51 +0100 | paulson | converted Hyperreal/Log and Hyperreal/HLog to Isar scripts | file | diff | annotate |
Fri, 16 Nov 2001 18:24:11 +0100 | paulson | even more theories from Jacques | file | diff | annotate |