src/HOL/Complex/NSCA.thy
Sun, 24 Sep 2006 01:04:44 +0200 huffman fix proof
Mon, 18 Sep 2006 07:48:07 +0200 huffman replace (x + - y) with (x - y)
Sun, 17 Sep 2006 02:56:25 +0200 huffman removed capprox, CFinite, CInfinite, CInfinitesimal, cmonad, and cgalaxy in favor of polymorphic constants
Sat, 16 Sep 2006 23:46:38 +0200 huffman complex_of_real abbreviates of_real::real=>complex;
Sat, 16 Sep 2006 02:40:00 +0200 huffman generalized types of many constants to work over arbitrary vector spaces;
Wed, 30 Aug 2006 03:19:08 +0200 webertj lin_arith_prover: splitting reverted because of performance loss
Sun, 30 Jul 2006 05:53:10 +0200 webertj lin_arith_prover splits certain operators (e.g. min, max, abs)
Fri, 02 Jun 2006 23:22:29 +0200 wenzelm misc cleanup;
Thu, 15 Sep 2005 23:46:22 +0200 huffman merged Transfer.thy and StarType.thy into StarDef.thy; renamed Ifun2_of to starfun2; cleaned up
Wed, 14 Sep 2005 01:47:06 +0200 huffman removed duplicated lemmas; convert more proofs to transfer principle
Fri, 09 Sep 2005 19:34:22 +0200 huffman starfun, starset, and other functions on NS types are now polymorphic;
Wed, 07 Sep 2005 01:49:49 +0200 huffman replace type hcomplex with complex star
Tue, 06 Sep 2005 23:16:48 +0200 huffman replace type hypreal with real star
Tue, 05 Oct 2004 15:30:50 +0200 paulson new simprules for abs and for things like a/b<1
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, 01 Jul 2004 12:29:53 +0200 paulson new treatment of binary numerals
Thu, 22 Apr 2004 12:11:17 +0200 wenzelm constdefs: proper order;
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
Mon, 23 Feb 2004 16:35:46 +0100 paulson converted HOL/Complex/NSCA to Isar script
Sun, 15 Feb 2004 10:46:37 +0100 paulson Polymorphic treatment of binary arithmetic using axclasses
Tue, 23 Dec 2003 14:45:47 +0100 paulson tidying up hcomplex arithmetic
Mon, 05 May 2003 18:22:31 +0200 paulson new session Complex for the complex numbers
less more (0) tip