Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Put quotes around URLs in links
authorpaulson
Tue, 05 Mar 1996 16:29:01 +0100
changeset 1542 03e727af711d
parent 1541 c81c770f47ef
child 1543 53fe25620a03
Put quotes around URLs in links
src/HOL/Lambda/README.html file | annotate | diff | comparison | revisions 
--- 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 @@
+<!-- $Id$ -->
 <HTML><HEAD><TITLE>HOL/Lambda</TITLE></HEAD>
 <BODY>
 
@@ -13,5 +14,9 @@
 More Church-Rosser Proofs (in Isabelle/HOL)</A>
 describes the whole theory.
 
+<HR>
+
+<P>Last modified 5 March 1996
+
 </BODY>
 </HTML>
isabelle