src/FOL/README.html
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1995-11-15 clasohm 1995-11-15 HTML version of README