src/HOL/Complex/CSeries.ML
Tue, 03 Feb 2004 11:06:36 +0100 paulson tidying of the complex numbers
Thu, 01 Jan 2004 10:06:32 +0100 paulson tweaking of lemmas in RealDef, RealOrd
Mon, 05 May 2003 18:22:31 +0200 paulson new session Complex for the complex numbers
less more (0) tip