src/HOL/Hyperreal/Poly.thy
Fri, 02 Jun 2006 23:22:29 +0200 wenzelm misc cleanup;
Thu, 05 Jan 2006 22:29:55 +0100 wenzelm replaced swap by contrapos_np;
Wed, 28 Sep 2005 11:14:26 +0200 paulson new lemma
Fri, 29 Jul 2005 19:47:27 +0200 avigad changed import to Ln
Wed, 27 Jul 2005 11:28:18 +0200 paulson removed the dependence on abs_mult
Mon, 21 Feb 2005 15:04:10 +0100 nipkow comprehensive cleanup, replacing sumr by setsum
Tue, 19 Oct 2004 18:18:45 +0200 paulson converted some induct_tac to induct
Wed, 18 Aug 2004 11:09:40 +0200 nipkow import -> imports
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Fri, 05 Mar 2004 15:18:59 +0100 paulson Conversion of Poly to Isar script, and other tidying of HOL/Hyperreal
Fri, 16 Nov 2001 18:24:11 +0100 paulson even more theories from Jacques
less more (0) tip