typo fixed, dead link removed
authorwebertj
Tue Sep 11 14:26:49 2007 +0200 (2007-09-11)
changeset 245674970fb01aa01
parent 24566 2bfa0215904c
child 24568 9a4cce088aec
typo fixed, dead link removed
src/HOLCF/README.html
     1.1 --- a/src/HOLCF/README.html	Mon Sep 10 19:21:03 2007 +0200
     1.2 +++ b/src/HOLCF/README.html	Tue Sep 11 14:26:49 2007 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4  
     1.5  <ul>
     1.6    <li><a href="http://www4.informatik.tu-muenchen.de/publ/papers/Diss_Regensbu.pdf">HOLCF: eine konservative Erweiterung von HOL um LCF</a>, <br>
     1.7 -      <a href="http://www4.informatik.tu-muenchen.de/~regensbu/">Franz Regenburger</a>.<br>
     1.8 +      Franz Regensburger.<br>
     1.9        Dissertation Technische Universit&auml;t M&uuml;nchen.<br>
    1.10        Year: 1994.
    1.11  </ul>