src/HOL/Hyperreal/Hyperreal.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2003-05-05 paulson 2003-05-05 New material on integration, etc. Moving Hyperreal/ex to directory Complex
2001-11-16 paulson 2001-11-16 even more theories from Jacques
2001-11-15 paulson 2001-11-15 new theories from Jacques Fleuriot
2000-12-30 paulson 2000-12-30 separation of HOL-Hyperreal from HOL-Real