src/HOLCF/README.html

--- a/src/HOLCF/README.html	Sun Oct 24 15:41:52 2004 +0200
+++ b/src/HOLCF/README.html	Mon Oct 25 17:19:17 2004 +0200
@@ -17,7 +17,7 @@
 A detailed description (in german) of the entire development can be found in:
 
 <UL>
-  <li> <A HREF="http://www4.informatik.tu-muenchen.de/papers/Diss_Regensbu.ps.gz"> HOLCF: eine konservative Erweiterung von HOL um LCF</A>, <br>
+  <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>
         Dissertation Technische Universit&auml;t M&uuml;nchen. <BR>
@@ -26,7 +26,7 @@
 
 A short survey is available in:
 <UL>
-<li><A HREF="http://www4.informatik.tu-muenchen.de/papers/Regensburger_HOLT1995.ps.gz">HOLCF: Higher Order Logic of Computable Functions</A> <br>
+<li><A HREF="http://www4.informatik.tu-muenchen.de/publ/papers/Regensburger_HOLT1995.pdf">HOLCF: Higher Order Logic of Computable Functions</A> <br>
 </UL>
 
 </BODY></HTML>