| Thu, 19 Aug 2004 12:35:45 +0200 | nipkow | new import syntax | file | diff | annotate |
| Tue, 03 Feb 2004 11:06:36 +0100 | paulson | tidying of the complex numbers | file | diff | annotate |
| Wed, 28 May 2003 10:48:20 +0200 | paulson | examples now use Complex_Main | file | diff | annotate |
| 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 |