| Thu, 15 Sep 2005 23:46:22 +0200 | huffman | merged Transfer.thy and StarType.thy into StarDef.thy; renamed Ifun2_of to starfun2; cleaned up | file | diff | annotate |
| Fri, 09 Sep 2005 19:34:22 +0200 | huffman | starfun, starset, and other functions on NS types are now polymorphic; | file | diff | annotate |
| Wed, 07 Sep 2005 02:13:24 +0200 | huffman | added theorem hypreal_inverse2 | file | diff | annotate |
| Tue, 06 Sep 2005 23:16:48 +0200 | huffman | replace type hypreal with real star | file | diff | annotate |
| Tue, 06 Sep 2005 19:22:31 +0200 | huffman | reimplement Filter.thy with locales | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 21 Feb 2005 15:04:10 +0100 | nipkow | comprehensive cleanup, replacing sumr by setsum | file | diff | annotate |