--- a/src/HOL/TLA/README.html Mon Oct 18 16:16:03 1999 +0200
+++ b/src/HOL/TLA/README.html Mon Oct 18 18:38:21 1999 +0200
@@ -28,7 +28,7 @@
</UL>
Please consult the
-<A HREF="http://www4.in.tum.de/~merz/papers/IsaTLADesign.ps">design notes</A>
+<A HREF="http://www.pst.informatik.uni-muenchen.de/~merz/isabelle/IsaTLADesign.ps">design notes</A>
for further information regarding the setup and use of this encoding
of TLA.
@@ -44,7 +44,7 @@
<LI><A HREF="Memory/index.html">Memory</A>: a verification of (the
untimed part of) Broy and Lamport's <em>RPC-Memory</em> case study,
more fully explained in LNCS 1169 (the
- <A HREF="http://www4.in.tum.de/~merz/papers/RPCMemory.html">TLA
+ <A HREF="http://www.pst.informatik.uni-muenchen.de/~merz/papers/RPCMemory.html">TLA
solution</A> is available separately).
</UL>