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/IOA/README.html
changeset 3279 815ef5848324
parent 3071 981258186b71
child 5138 b02dfb930bd9 
--- a/src/HOLCF/IOA/README.html	Wed May 21 17:11:46 1997 +0200
+++ b/src/HOLCF/IOA/README.html	Wed May 21 17:13:00 1997 +0200
@@ -1,15 +1,11 @@
-<HTML><HEAD><TITLE>HOLCF/ReadMe</TITLE></HEAD><BODY>
+<HTML><HEAD><TITLE>HOLCF/IOA/README</TITLE></HEAD><BODY>
 
 <H3>IOA: A formalization of I/O automata in HOLCF</H3>
 
-Author:     Olaf Mueller<BR>
+Author:     Olaf M&uuml;ller<BR>
 Copyright   1997 Technische Universit&auml;t M&uuml;nchen<P>
 
-Version: 1.0<BR>
-Date: 1.05.97<P>
-
-The distribution contains
-
+The distribution contains:
 <UL>
   <li> A semantic model of the meta theory of I/O automata including proofs for the refinement notion
        and the compositionality of the model. For details see: <BR>
isabelle