src/HOL/Hyperreal/IntFloor.thy
2004-04-14 kleing 2004-04-14 use more symbols in HTML output
2004-03-02 paulson 2004-03-02 converted Hyperreal/IntFloor to Isar script
2003-05-05 paulson 2003-05-05 New material on integration, etc. Moving Hyperreal/ex to directory Complex