src/HOL/Hyperreal/Log.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-07-29 paulson 2004-07-29 removed some [iff] declarations from RealDef.thy, concerning inequalities
2004-07-16 nipkow 2004-07-16 Corrected TeX problems.
2004-03-04 paulson 2004-03-04 new material from Avigad, and simplified treatment of division by 0
2004-02-24 paulson 2004-02-24 converted Hyperreal/Log and Hyperreal/HLog to Isar scripts
2001-11-16 paulson 2001-11-16 even more theories from Jacques