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: