src/FOL/README.html
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2001-10-20 wenzelm 2001-10-20 tuned;
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1995-11-15 clasohm 1995-11-15 HTML version of README