src/HOL/Hyperreal/Filter.thy
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
2000-12-30 paulson 2000-12-30 separation of HOL-Hyperreal from HOL-Real