src/HOL/Complex/CStar.thy
Tue, 06 Sep 2005 20:53:27 +0200 huffman fix proof
Thu, 07 Oct 2004 15:42:30 +0200 paulson simplification tweaks for better arithmetic reasoning
Wed, 01 Sep 2004 15:04:01 +0200 paulson new "respects" syntax for quotienting
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Mon, 15 Mar 2004 10:58:29 +0100 paulson heavy tidying
Thu, 04 Mar 2004 12:06:07 +0100 paulson new material from Avigad, and simplified treatment of division by 0
Sat, 21 Feb 2004 20:05:16 +0100 paulson conversion of Complex/CStar to Isar script
Mon, 05 May 2003 18:22:31 +0200 paulson new session Complex for the complex numbers
less more (0) tip