src/HOL/IOA/README.html
changeset 15582 7219facb3fd0
parent 15283 f21466450330
child 36862 952b2b102a0a
     1.1 --- a/src/HOL/IOA/README.html	Mon Mar 07 18:40:36 2005 +0100
     1.2 +++ b/src/HOL/IOA/README.html	Mon Mar 07 19:17:07 2005 +0100
     1.3 @@ -1,18 +1,27 @@
     1.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
     1.5  
     1.6 -<HTML><HEAD><TITLE>HOLCF/IOA/README</TITLE></HEAD><BODY>
     1.7 +<!-- $Id -->
     1.8 +
     1.9 +<html>
    1.10 +
    1.11 +<head>
    1.12 +  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
    1.13 +  <title>HOLCF/IOA/README</title>
    1.14 +</head>
    1.15  
    1.16 -<H3>IOA: A basic formalization of I/O automata in HOL</H3>
    1.17 +<body>
    1.18 +
    1.19 +<h3>IOA: A basic formalization of I/O automata in HOL</h3>
    1.20  
    1.21 -Author:     Konrad Slind, Tobias Nipkow and Olaf M&uuml;ller<BR>
    1.22 -Copyright   1995,1996 Technische Universit&auml;t M&uuml;nchen<P>
    1.23 +Author:     Konrad Slind, Tobias Nipkow and Olaf M&uuml;ller<br>
    1.24 +Copyright   1995,1996 Technische Universit&auml;t M&uuml;nchen
    1.25 +
    1.26 +<p>
    1.27  
    1.28  This directory contains a formalization of the meta theory of I/O automata in HOL.
    1.29 -This formalization has been significantly changed and extended. The new version is available in the subdirectory HOLCF/IOA. There are also the proofs of two communication protocols which formerly
    1.30 -have been here. 
    1.31 -
    1.32 +This formalization has been significantly changed and extended.  The new version
    1.33 +is available in the subdirectory HOLCF/IOA.  There are also the proofs of two
    1.34 +communication protocols which formerly have been here.
    1.35  
    1.36 -</BODY></HTML>
    1.37 -
    1.38 -
    1.39 -
    1.40 +</body>
    1.41 +</html>