# HG changeset patch # User paulson # Date 826039741 -3600 # Node ID 03e727af711df2c1f7e2443031b794ede72e91f6 # Parent c81c770f47efa68905d5fc5cd4716d0d3cd5c400 Put quotes around URLs in links diff -r c81c770f47ef -r 03e727af711d src/HOL/Lambda/README.html --- a/src/HOL/Lambda/README.html Tue Mar 05 16:27:01 1996 +0100 +++ b/src/HOL/Lambda/README.html Tue Mar 05 16:29:01 1996 +0100 @@ -1,3 +1,4 @@ +
Last modified 5 March 1996 +