src/HOL/Prolog/README.html
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2000-06-02 oheimb 2000-06-02 added HOL/Prolog