src/HOL/README.html
changeset 15916 1314ef1e49dd
parent 15910 5df57194d064
child 31795 be3e1cc5005c
     1.1 --- a/src/HOL/README.html	Tue May 03 02:45:55 2005 +0200
     1.2 +++ b/src/HOL/README.html	Tue May 03 10:25:30 2005 +0200
     1.3 @@ -119,27 +119,5 @@
     1.4  
     1.5  </dl>
     1.6  
     1.7 -Useful references on Higher-Order Logic:
     1.8 -
     1.9 -<ul>
    1.10 -
    1.11 -<li>P. B. Andrews,<br>
    1.12 -An Introduction to Mathematical Logic and Type Theory<br>
    1.13 -(Academic Press, 1986).
    1.14 -
    1.15 -<li>A. Church,<br>
    1.16 -A Formulation of the Simple Theory of Types<br>
    1.17 -(Journal of Symbolic Logic, 1940).
    1.18 -
    1.19 -<li>M. J. C. Gordon and T. F. Melham (editors),<br>
    1.20 -Introduction to HOL: A theorem proving environment for higher order logic<br>
    1.21 -(Cambridge University Press, 1993).
    1.22 -
    1.23 -<li>J. Lambek and P. J. Scott,<br>
    1.24 -Introduction to Higher Order Categorical Logic<br>
    1.25 -(Cambridge University Press, 1986).
    1.26 -
    1.27 -</ul>
    1.28 -
    1.29  </body>
    1.30  </html>