src/HOL/Hyperreal/EvenOdd.thy
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
Thu, 04 Mar 2004 12:06:07 +0100 paulson new material from Avigad, and simplified treatment of division by 0
Thu, 15 Nov 2001 16:12:49 +0100 paulson new theories from Jacques Fleuriot
less more (0) tip