src/HOL/AxClasses/README.html
1997-02-20 wenzelm 1997-02-20 tuned URL;
1997-01-23 wenzelm 1997-01-23 replaces README;