src/HOL/README.html
changeset 1341 69fec018854c
parent 1339 f1a3a7b44ff1
child 2080 12eed4cec935
     1.1 --- a/src/HOL/README.html	Fri Nov 17 13:15:19 1995 +0100
     1.2 +++ b/src/HOL/README.html	Fri Nov 17 13:22:50 1995 +0100
     1.3 @@ -24,11 +24,12 @@
     1.4  Useful references on Higher-Order Logic:
     1.5  
     1.6  <UL>
     1.7 -<LI>P. B. Andrews, An Introduction to Mathematical Logic and Type Theory
     1.8 -(Academic Press, 1986).
     1.9 +<LI>P. B. Andrews,<BR>
    1.10 +    An Introduction to Mathematical Logic and Type Theory<BR>
    1.11 +    (Academic Press, 1986).
    1.12  
    1.13 -<LI>J. Lambek and P. J. Scott, Introduction to Higher Order
    1.14 -Categorical Logic (CUP, 1986)
    1.15 +<LI>J. Lambek and P. J. Scott,<BR>
    1.16 +    Introduction to Higher Order Categorical Logic (CUP, 1986)
    1.17  </UL>
    1.18  
    1.19  </BODY></HTML>