Tue, 06 May 2003 17:45:54 +0200 | paulson | removal of the image HOL-Real and merging of HOL-Real-ex with HOL-Complex-ex | file | diff | annotate |
Mon, 05 May 2003 18:22:31 +0200 | paulson | new session Complex for the complex numbers | file | diff | annotate |