--- a/src/HOL/README.html Tue May 03 02:45:55 2005 +0200
+++ b/src/HOL/README.html Tue May 03 10:25:30 2005 +0200
@@ -119,27 +119,5 @@
</dl>
-Useful references on Higher-Order Logic:
-
-<ul>
-
-<li>P. B. Andrews,<br>
-An Introduction to Mathematical Logic and Type Theory<br>
-(Academic Press, 1986).
-
-<li>A. Church,<br>
-A Formulation of the Simple Theory of Types<br>
-(Journal of Symbolic Logic, 1940).
-
-<li>M. J. C. Gordon and T. F. Melham (editors),<br>
-Introduction to HOL: A theorem proving environment for higher order logic<br>
-(Cambridge University Press, 1993).
-
-<li>J. Lambek and P. J. Scott,<br>
-Introduction to Higher Order Categorical Logic<br>
-(Cambridge University Press, 1986).
-
-</ul>
-
</body>
</html>