src/HOL/Hyperreal/Transcendental.thy
2004-10-12 paulson 2004-10-12 tweaks concerned with poly bug-fixing
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-10-04 paulson 2004-10-04 revised simprules for division
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-29 paulson 2004-07-29 removal of more iff-rules from RealDef.thy
2004-07-29 paulson 2004-07-29 removed some [iff] declarations from RealDef.thy, concerning inequalities
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-07-26 paulson 2004-07-26 converting Hyperreal/Transcendental to Isar script
2004-07-01 paulson 2004-07-01 new treatment of binary numerals
2003-05-05 paulson 2003-05-05 New material on integration, etc. Moving Hyperreal/ex to directory Complex
2001-11-15 paulson 2001-11-15 new theories from Jacques Fleuriot