# HG changeset patch # User wenzelm # Date 941307706 -7200 # Node ID d823fdcc0645b56c3c680d2b029fffd6b860329c # Parent d534b897ce398cd9eace7f008033e366fb51453d tuned; diff -r d534b897ce39 -r d823fdcc0645 src/HOL/README.html --- a/src/HOL/README.html Sat Oct 30 20:20:48 1999 +0200 +++ b/src/HOL/README.html Sat Oct 30 20:21:46 1999 +0200 @@ -51,7 +51,7 @@