src/HOL/Real/Hyperreal/Series.ML
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-09-21 fleuriot 2000-09-21 New theories: construction of hypernaturals, nonstandard extensions, and some nonstandard analysis.