src/HOL/Isar_examples/README.html
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
1999-10-08 wenzelm 1999-10-08 improved;
1999-10-05 wenzelm 1999-10-05 tuned comments;
1999-07-14 wenzelm 1999-07-14 tuned;
1999-07-14 wenzelm 1999-07-14 tuned comments;