diff -r f07e865d9d40 -r 7219facb3fd0 src/HOL/README.html --- a/src/HOL/README.html Mon Mar 07 18:40:36 2005 +0100 +++ b/src/HOL/README.html Mon Mar 07 19:17:07 2005 +0100 @@ -1,10 +1,13 @@ + + - - -HOL/README + + + HOL/README +