src/HOL/README.html
changeset 10262 3c43e8086cba
parent 10163 d1972b445ece
child 13852 dd2cd94a51e6
     1.1 --- a/src/HOL/README.html	Wed Oct 18 23:40:17 2000 +0200
     1.2 +++ b/src/HOL/README.html	Wed Oct 18 23:40:38 2000 +0200
     1.3 @@ -8,8 +8,7 @@
     1.4  
     1.5  <h2>HOL: Higher-Order Logic</h2>
     1.6  
     1.7 -This directory contains the sources of the Isabelle system for
     1.8 -Higher-Order Logic.
     1.9 +These are the main sources of the Isabelle system for Higher-Order Logic.
    1.10  
    1.11  <p>
    1.12