Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/README.html
changeset 15582 7219facb3fd0
parent 15283 f21466450330
child 24567 4970fb01aa01 
--- a/src/HOLCF/README.html	Mon Mar 07 18:40:36 2005 +0100
+++ b/src/HOLCF/README.html	Mon Mar 07 19:17:07 2005 +0100
@@ -1,8 +1,17 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<HTML><HEAD><TITLE>HOLCF/README</TITLE></HEAD><BODY>
+<!-- $Id$ -->
+
+<html>
 
-<H3>HOLCF: A higher-order version of LCF based on Isabelle/HOL</H3>
+<head>
+  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+  <title>HOLCF/README</title>
+</head>
+
+<body>
+
+<h3>HOLCF: A higher-order version of LCF based on Isabelle/HOL</h3>
 
 HOLCF is the definitional extension of Church's Higher-Order Logic with
 Scott's Logic for Computable Functions that has been implemented in the
@@ -10,25 +19,29 @@
 about functional programs. HOLCF supports standard domain theory (in particular
 fixpoint reasoning and recursive domain equations) but also coinductive
 arguments about lazy datatypes.
-<P>
+
+<p>
+
 The most recent description of HOLCF is found here:
-<UL>
-<li> <A HREF="/~nipkow/pubs/jfp99.html">HOLCF = HOL+LCF</A>
-</UL>
 
-A detailed description (in german) of the entire development can be found in:
+<ul>
+  <li><a href="/~nipkow/pubs/jfp99.html">HOLCF = HOL+LCF</a>
+</ul>
 
-<UL>
-  <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>
-        Year: 1994.
-</UL>
+A detailed description (in German) of the entire development can be found in:
+
+<ul>
+  <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>
+      Year: 1994.
+</ul>
 
 A short survey is available in:
-<UL>
-<li><A HREF="http://www4.informatik.tu-muenchen.de/publ/papers/Regensburger_HOLT1995.pdf">HOLCF: Higher Order Logic of Computable Functions</A> <br>
-</UL>
+<ul>
+  <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>
+</body>
+
+</html>
isabelle