| Tue, 06 Sep 2005 23:16:48 +0200 | huffman | replace type hypreal with real star | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | 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 |
| Tue, 24 Feb 2004 16:38:51 +0100 | paulson | converted Hyperreal/Log and Hyperreal/HLog to Isar scripts | file | diff | annotate |
| Mon, 05 May 2003 18:23:40 +0200 | paulson | New material on integration, etc. Moving Hyperreal/ex | file | diff | annotate |