# HG changeset patch
# User webertj
# Date 1189513609 -7200
# Node ID 4970fb01aa017e839b59209be8d37f087c95fda1
# Parent  2bfa0215904c7966522e3d53ef8c4536d726d2ec
typo fixed, dead link removed

diff -r 2bfa0215904c -r 4970fb01aa01 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>