src/HOL/Hyperreal/HLog.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-03-15 paulson 2004-03-15 heavy tidying
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
2003-05-05 paulson 2003-05-05 New material on integration, etc. Moving Hyperreal/ex to directory Complex