src/HOL/Hyperreal/MacLaurin.thy
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon
2004-10-19 paulson 2004-10-19 converted some induct_tac to induct
2004-10-07 paulson 2004-10-07 simplification tweaks for better arithmetic reasoning
2004-10-05 paulson 2004-10-05 new simprules for abs and for things like a/b<1
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