src/HOLCF/README.html
changeset 24567 4970fb01aa01
parent 15582 7219facb3fd0
child 35174 e15040ae75d7
equal deleted inserted replaced
24566:2bfa0215904c 24567:4970fb01aa01
    30 
    30 
    31 A detailed description (in German) of the entire development can be found in:
    31 A detailed description (in German) of the entire development can be found in:
    32 
    32 
    33 <ul>
    33 <ul>
    34   <li><a href="http://www4.informatik.tu-muenchen.de/publ/papers/Diss_Regensbu.pdf">HOLCF: eine konservative Erweiterung von HOL um LCF</a>, <br>
    34   <li><a href="http://www4.informatik.tu-muenchen.de/publ/papers/Diss_Regensbu.pdf">HOLCF: eine konservative Erweiterung von HOL um LCF</a>, <br>
    35       <a href="http://www4.informatik.tu-muenchen.de/~regensbu/">Franz Regenburger</a>.<br>
    35       Franz Regensburger.<br>
    36       Dissertation Technische Universit&auml;t M&uuml;nchen.<br>
    36       Dissertation Technische Universit&auml;t M&uuml;nchen.<br>
    37       Year: 1994.
    37       Year: 1994.
    38 </ul>
    38 </ul>
    39 
    39 
    40 A short survey is available in:
    40 A short survey is available in: