src/HOLCF/README.html

--- a/src/HOLCF/README.html	Mon Sep 10 19:21:03 2007 +0200
+++ b/src/HOLCF/README.html	Tue Sep 11 14:26:49 2007 +0200
@@ -32,7 +32,7 @@
 
 <ul>
   <li><a href="http://www4.informatik.tu-muenchen.de/publ/papers/Diss_Regensbu.pdf">HOLCF: eine konservative Erweiterung von HOL um LCF</a>, <br>
-      <a href="http://www4.informatik.tu-muenchen.de/~regensbu/">Franz Regenburger</a>.<br>
+      Franz Regensburger.<br>
       Dissertation Technische Universit&auml;t M&uuml;nchen.<br>
       Year: 1994.
 </ul>