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 |
Tue, 06 Sep 2005 23:16:48 +0200 | huffman | replace type hypreal with real star | file | diff | annotate |
Wed, 17 Dec 2003 16:23:52 +0100 | paulson | converted Hyperreal/HyperDef to Isar script | file | diff | annotate |
Tue, 16 Dec 2003 15:38:09 +0100 | paulson | converted Hyperreal/HyperOrd to new-style theory | file | diff | annotate |
Sat, 30 Dec 2000 22:03:47 +0100 | paulson | separation of HOL-Hyperreal from HOL-Real | file | diff | annotate |