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 html-link
authornipkow
Mon, 19 Aug 1996 15:35:11 +0200
changeset 1923 e100f28ffc18
parent 1922 ce495557ac33
child 1924 0f1a583457da
updated html-link
src/HOL/IMP/README.html file | annotate | diff | comparison | revisions 
--- a/src/HOL/IMP/README.html	Mon Aug 19 13:06:30 1996 +0200
+++ b/src/HOL/IMP/README.html	Mon Aug 19 15:35:11 1996 +0200
@@ -13,6 +13,6 @@
 </PRE>
 <P>
 An eminently readable description of this theory is found
-<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/imp.html">
+<A HREF="http://www4.informatik.tu-muenchen.de/~nipkow/pubs/fsttcs96.html">
 here</A>.
 </BODY></HTML>
isabelle