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.
Updated url.
authornipkow
Tue, 21 May 1996 10:50:40 +0200
changeset 1752 7dfc3c217414
parent 1751 946efd210837
child 1753 88e0d3160909
Updated url.
src/HOL/MiniML/README.html file | annotate | diff | comparison | revisions 
--- a/src/HOL/MiniML/README.html	Mon May 20 18:41:55 1996 +0200
+++ b/src/HOL/MiniML/README.html	Tue May 21 10:50:40 1996 +0200
@@ -11,7 +11,7 @@
 <P>
 
 A report describing the theory is found here:<br>
-<A HREF = "http://www4.informatik.tu-muenchen.de/~nipkow/pubs/W0.html">
+<A HREF = "http://www4.informatik.tu-muenchen.de/~nipkow/pubs/tphol96.html">
 Formal Verification of Algorithm W: The Monomorphic Case</A>.
 
 </BODY>
isabelle