Tue, 31 Jul 2007 00:56:26 +0200 | wenzelm | arith method setup: proper context; | file | diff | annotate |
Sat, 23 Jun 2007 19:33:22 +0200 | nipkow | tuned and renamed group_eq_simps and ring_eq_simps | file | diff | annotate |
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 |