--- 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>