src/HOL/Complex/ex/BinEx.thy
Tue, 31 Jul 2007 00:56:26 +0200 wenzelm arith method setup: proper context;
Sat, 23 Jun 2007 19:33:22 +0200 nipkow tuned and renamed group_eq_simps and ring_eq_simps
Thu, 19 Aug 2004 12:35:45 +0200 nipkow new import syntax
Tue, 03 Feb 2004 11:06:36 +0100 paulson tidying of the complex numbers
Wed, 28 May 2003 10:48:20 +0200 paulson examples now use Complex_Main
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
less more (0) tip