diff -r bb2f1e859177 -r 3c43e8086cba src/HOL/README.html --- a/src/HOL/README.html Wed Oct 18 23:40:17 2000 +0200 +++ b/src/HOL/README.html Wed Oct 18 23:40:38 2000 +0200 @@ -8,8 +8,7 @@

HOL: Higher-Order Logic

-This directory contains the sources of the Isabelle system for -Higher-Order Logic. +These are the main sources of the Isabelle system for Higher-Order Logic.