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.
fixed broken link
authorhaftmann
Tue, 04 Oct 2005 10:55:14 +0200
changeset 17748 c93279ba600a
parent 17747 1ce1f62768bd
child 17749 4fb42f4d61df
fixed broken link
src/HOL/AxClasses/README.html file | annotate | diff | comparison | revisions 
--- a/src/HOL/AxClasses/README.html	Tue Oct 04 10:52:43 2005 +0200
+++ b/src/HOL/AxClasses/README.html	Tue Oct 04 10:55:14 2005 +0200
@@ -13,7 +13,7 @@
 <h1>HOL/AxClasses</h1>
 
 These are the HOL examples of the tutorial <a
-href="http://isabelle.in.tum.de/doc/axclass.pdf">Using Axiomatic Type
+href="http://isabelle.in.tum.de/dist/Isabelle/doc/axclass.pdf">Using Axiomatic Type
 Classes in Isabelle</a>.  See also FOL/ex/NatClass for the natural
 number example.
 </body>
isabelle