src/HOL/Hyperreal/HTranscendental.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
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
2004-04-22 paulson 2004-04-22 moved Complex/NSInduct and Hyperreal/IntFloor to more appropriate places
2004-03-19 paulson 2004-03-19 conversion of Hyperreal/Lim to new-style
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-03-01 paulson 2004-03-01 converted Hyperreal/HTranscendental to Isar script
2003-05-05 paulson 2003-05-05 New material on integration, etc. Moving Hyperreal/ex to directory Complex