| changeset 10262 | 3c43e8086cba |
| parent 10163 | d1972b445ece |
| child 13852 | dd2cd94a51e6 |
--- 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 @@ <h2>HOL: Higher-Order Logic</h2> -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. <p>