fixed urls
authornipkow
Mon Oct 25 17:19:17 2004 +0200 (2004-10-25)
changeset 152551b860b5d23f8
parent 15254 10cfd6a14682
child 15256 9237f388fbb1
fixed urls
src/HOLCF/README.html
     1.1 --- a/src/HOLCF/README.html	Sun Oct 24 15:41:52 2004 +0200
     1.2 +++ b/src/HOLCF/README.html	Mon Oct 25 17:19:17 2004 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  A detailed description (in german) of the entire development can be found in:
     1.5  
     1.6  <UL>
     1.7 -  <li> <A HREF="http://www4.informatik.tu-muenchen.de/papers/Diss_Regensbu.ps.gz"> HOLCF: eine konservative Erweiterung von HOL um LCF</A>, <br>
     1.8 +  <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.9          <A HREF="http://www4.informatik.tu-muenchen.de/~regensbu/">
    1.10          Franz Regenburger</A>. <br>
    1.11          Dissertation Technische Universit&auml;t M&uuml;nchen. <BR>
    1.12 @@ -26,7 +26,7 @@
    1.13  
    1.14  A short survey is available in:
    1.15  <UL>
    1.16 -<li><A HREF="http://www4.informatik.tu-muenchen.de/papers/Regensburger_HOLT1995.ps.gz">HOLCF: Higher Order Logic of Computable Functions</A> <br>
    1.17 +<li><A HREF="http://www4.informatik.tu-muenchen.de/publ/papers/Regensburger_HOLT1995.pdf">HOLCF: Higher Order Logic of Computable Functions</A> <br>
    1.18  </UL>
    1.19  
    1.20  </BODY></HTML>