src/HOL/Hyperreal/Fact.thy
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