src/HOL/ex/README.html
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2004-08-30 webertj 2004-08-30 reference to cla.ML replaced by Classical.thy
2001-07-23 paulson 2001-07-23 live links
1999-08-02 paulson 1999-08-02 long-overdue updating
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1997-05-07 paulson 1997-05-07 Documentation for directory "ex"