src/HOL/Complex/Complex.thy
Tue, 01 Feb 2005 18:01:57 +0100 paulson the new subst tactic, by Lucas Dixon
Thu, 07 Oct 2004 15:42:30 +0200 paulson simplification tweaks for better arithmetic reasoning
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Thu, 29 Jul 2004 16:14:42 +0200 paulson removed some [iff] declarations from RealDef.thy, concerning inequalities
Thu, 01 Jul 2004 12:29:53 +0200 paulson new treatment of binary numerals
Thu, 24 Jun 2004 17:52:02 +0200 paulson replaced monomorphic abs definitions by abs_if
Sat, 01 May 2004 22:01:57 +0200 wenzelm tuned instance statements;
Mon, 08 Mar 2004 11:12:06 +0100 paulson generic theorems about exponentials; general tidying up
Thu, 04 Mar 2004 12:06:07 +0100 paulson new material from Avigad, and simplified treatment of division by 0
Mon, 01 Mar 2004 13:51:21 +0100 paulson new Ring_and_Field hierarchy, eliminating redundant axioms
Sun, 15 Feb 2004 10:46:37 +0100 paulson Polymorphic treatment of binary arithmetic using axclasses
Thu, 05 Feb 2004 10:45:28 +0100 paulson tidying up, especially the Complex numbers
Tue, 03 Feb 2004 15:58:31 +0100 paulson further tidying of the complex numbers
Tue, 03 Feb 2004 11:06:36 +0100 paulson tidying of the complex numbers
less more (0) -15 tip