| Tue, 06 Sep 2005 23:16:48 +0200 | huffman | replace type hypreal with real star | file | diff | annotate |
| Tue, 22 Feb 2005 10:54:30 +0100 | nipkow | more setsum tuning | file | diff | annotate |
| Mon, 21 Feb 2005 19:23:46 +0100 | nipkow | more fine tuniung | file | diff | annotate |
| Mon, 21 Feb 2005 15:04:10 +0100 | nipkow | comprehensive cleanup, replacing sumr by setsum | file | diff | annotate |
| Fri, 18 Feb 2005 11:48:53 +0100 | nipkow | starting to get rid of sumr | 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 |
| Thu, 15 Jul 2004 15:32:32 +0200 | paulson | redefining sumr to be a translation to setsum | file | diff | annotate |
| Mon, 15 Mar 2004 10:46:19 +0100 | paulson | heavy tidying | file | diff | annotate |
| Fri, 05 Mar 2004 15:18:59 +0100 | paulson | Conversion of Poly to Isar script, and other tidying of HOL/Hyperreal | file | diff | annotate |
| Wed, 25 Feb 2004 16:22:36 +0100 | paulson | converted Hyperreal/HSeries to Isar script | file | diff | annotate |
| Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 05 Jan 2001 18:48:18 +0100 | nipkow | ^^ -> ``` | file | diff | annotate |
| Sat, 30 Dec 2000 22:03:47 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |