tuned URL;
authorwenzelm
Thu Feb 20 16:45:47 1997 +0100 (1997-02-20)
changeset 2666995d34955791
parent 2665 157ae17d22e5
child 2667 b2172eab9ba6
tuned URL;
src/HOL/AxClasses/README.html
     1.1 --- a/src/HOL/AxClasses/README.html	Thu Feb 20 16:09:41 1997 +0100
     1.2 +++ b/src/HOL/AxClasses/README.html	Thu Feb 20 16:45:47 1997 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  <DT> Tutorial
     1.6  <DD> Some simple axclass demos that go along with the paper <A
     1.7 -HREF="http://wwwbroy.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
     1.8 +HREF="http://www4.informatik.tu-muenchen.de/~nipkow/isadist/axclass.dvi.gz">
     1.9  "Using Axiomatic Type Classes in Isabelle --- a tutorial". </A>
    1.10  
    1.11  <P>