# HG changeset patch
# User nipkow
# Date 1098717557 -7200
# Node ID 1b860b5d23f8059eef9a082a52013463c582429e
# Parent  10cfd6a146821c76d6cd359d5bb3761e3b55d2e7
fixed urls

diff -r 10cfd6a14682 -r 1b860b5d23f8 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>