src/HOLCF/README.html
changeset 24567 4970fb01aa01
parent 15582 7219facb3fd0
child 35174 e15040ae75d7
--- 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>