src/HOL/Complex/README.html
2005-10-04 haftmann 2005-10-04 removed removed IntFloor
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
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