| Mon, 26 Jul 2004 17:34:52 +0200 | paulson | converting Hyperreal/Transcendental to Isar script | file | diff | annotate |
| Thu, 01 Jul 2004 12:29:53 +0200 | paulson | new treatment of binary numerals | file | diff | annotate |
| Thu, 22 Apr 2004 10:45:56 +0200 | paulson | moved Complex/NSInduct and Hyperreal/IntFloor to more appropriate | file | diff | annotate |
| Fri, 19 Mar 2004 10:51:03 +0100 | paulson | conversion of Hyperreal/Lim to new-style | file | diff | annotate |
| Mon, 15 Mar 2004 10:46:19 +0100 | paulson | heavy tidying | file | diff | annotate |
| 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 |