src/HOL/AxClasses/README.html
changeset 3279 815ef5848324
parent 2666 995d34955791
child 6215 6165747678ba
--- a/src/HOL/AxClasses/README.html	Wed May 21 17:11:46 1997 +0200
+++ b/src/HOL/AxClasses/README.html	Wed May 21 17:13:00 1997 +0200
@@ -1,4 +1,6 @@
-<HTML><HEAD><TITLE>HOL/AxClasses/ReadMe</TITLE></HEAD><BODY>
+<HTML><HEAD><TITLE>HOL/AxClasses/README</TITLE></HEAD><BODY>
+
+<h2>Axiomatic type classes</h2>
 
 This directory contains the following axiomatic type class examples: