src/HOL/TLA/README.html
2013-03-12 wenzelm 2013-03-12 removed odd cvs artifacts;
2005-10-04 haftmann 2005-10-04 fixed broken mailto: link
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
1999-10-18 wenzelm 1999-10-18 update by Stephan Merz;
1999-02-08 wenzelm 1999-02-08 updated (Stephan Merz);
1998-08-27 wenzelm 1998-08-27 weblinted, tuned;
1997-10-13 merz 1997-10-13 Absolute URL's for documentation
1997-10-08 wenzelm 1997-10-08 A formalization of TLA in HOL -- by Stephan Merz;