src/HOL/Hyperreal/EvenOdd.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-03-05 paulson 2004-03-05 Conversion of Poly to Isar script, and other tidying of HOL/Hyperreal
2004-03-04 paulson 2004-03-04 new material from Avigad, and simplified treatment of division by 0
2001-11-15 paulson 2001-11-15 new theories from Jacques Fleuriot