src/HOL/Hyperreal/Poly.thy
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
2001-11-16 paulson 2001-11-16 even more theories from Jacques