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 11:52:59 +0100 | paulson | converted Hyperreal/HTranscendental to Isar script | file | diff | annotate |
Mon, 05 May 2003 18:23:40 +0200 | paulson | New material on integration, etc. Moving Hyperreal/ex | file | diff | annotate |