src/CTT/README.html
changeset 19762 957bcf55c98f
parent 19761 5cd82054c2c6
child 36862 952b2b102a0a
--- a/src/CTT/README.html	Fri Jun 02 18:15:38 2006 +0200
+++ b/src/CTT/README.html	Fri Jun 02 18:24:48 2006 +0200
@@ -18,8 +18,8 @@
 Useful references on Constructive Type Theory:
 
 <UL>
-<LI>	B. Nordstrm, K. Petersson and J. M. Smith,<BR>
-	Programming in Martin-Lf's Type Theory<BR>
+<LI>	B. Nordström, K. Petersson and J. M. Smith,<BR>
+	Programming in Martin-Löf's Type Theory<BR>
 	(Oxford University Press, 1990)
 
 <LI>	Simon Thompson,<BR>