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.
tuned URL;
authorwenzelm
Thu, 20 Feb 1997 16:45:47 +0100
changeset 2666 995d34955791
parent 2665 157ae17d22e5
child 2667 b2172eab9ba6
tuned URL;
src/HOL/AxClasses/README.html file | annotate | diff | comparison | revisions 
--- a/src/HOL/AxClasses/README.html	Thu Feb 20 16:09:41 1997 +0100
+++ b/src/HOL/AxClasses/README.html	Thu Feb 20 16:45:47 1997 +0100
@@ -7,7 +7,7 @@
 
 <DT> Tutorial
 <DD> Some simple axclass demos that go along with the paper <A
-HREF="http://wwwbroy.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
+HREF="http://www4.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
 "Using Axiomatic Type Classes in Isabelle --- a tutorial". </A>
 
 <P>
isabelle