equal
deleted
inserted
replaced
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ät München.<br> |
36 Dissertation Technische Universität Mü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: |