src/HOL/Hyperreal/Fact.thy
Mon, 16 Aug 2004 14:22:27 +0200 nipkow New theory header syntax.
Sat, 31 Jul 2004 20:54:23 +0200 paulson conversion of Hyperreal/{Fact,Filter} to Isar scripts
Thu, 15 Nov 2001 16:12:49 +0100 paulson new theories from Jacques Fleuriot
less more (0) tip