src/HOL/W0/README.html
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
1997-01-17 nipkow 1997-01-17 This is the old version og MiniML for the monomorphic case. The new version is now in MiniML.