src/HOL/Complex/README.html
2004-04-22 paulson 2004-04-22 moved Complex/NSInduct and Hyperreal/IntFloor to more appropriate places
2004-04-21 paulson 2004-04-21 fixed to include Real and Hyperreal
2004-04-19 paulson 2004-04-19 badly-needed updates
2003-05-12 paulson 2003-05-12 oops
2003-05-12 paulson 2003-05-12 some information for Complex