src/HOL/Hyperreal/Fact.thy
2007-10-20 chaieb 2007-10-20 fixed proofs
2006-09-11 wenzelm 2006-09-11 induct method: renamed 'fixing' to 'arbitrary';
2006-06-02 wenzelm 2006-06-02 misc cleanup;
2004-10-12 paulson 2004-10-12 tweaks concerned with poly bug-fixing
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-31 paulson 2004-07-31 conversion of Hyperreal/{Fact,Filter} to Isar scripts
2001-11-15 paulson 2001-11-15 new theories from Jacques Fleuriot