diff -r 71b0a5d83347 -r 69fec018854c src/HOL/README.html
--- a/src/HOL/README.html	Fri Nov 17 13:15:19 1995 +0100
+++ b/src/HOL/README.html	Fri Nov 17 13:22:50 1995 +0100
@@ -24,11 +24,12 @@
 Useful references on Higher-Order Logic:
 
 <UL>
-<LI>P. B. Andrews, An Introduction to Mathematical Logic and Type Theory
-(Academic Press, 1986).
+<LI>P. B. Andrews,<BR>
+    An Introduction to Mathematical Logic and Type Theory<BR>
+    (Academic Press, 1986).
 
-<LI>J. Lambek and P. J. Scott, Introduction to Higher Order
-Categorical Logic (CUP, 1986)
+<LI>J. Lambek and P. J. Scott,<BR>
+    Introduction to Higher Order Categorical Logic (CUP, 1986)
 </UL>
 
 </BODY></HTML>