# HG changeset patch
# User nipkow
# Date 1115108730 -7200
# Node ID 1314ef1e49dd395355545bde5b1d27d8e29592a8
# Parent  b0e8b37642a4f9cd283fc5495560b7b58167fe92
*** empty log message ***

diff -r b0e8b37642a4 -r 1314ef1e49dd src/HOL/README.html
--- 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>