src/HOL/Hyperreal/MacLaurin.thy
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-28 paulson 2004-07-28 abs notation
2004-07-28 paulson 2004-07-28 conversion of Hyperreal/MacLaurin_lemmas to Isar script
2004-05-11 obua 2004-05-11 changes made due to new Ring_and_Field theory
2001-11-16 paulson 2001-11-16 even more theories from Jacques