src/HOL/IOA/README.html
author wenzelm
Wed May 12 14:17:26 2010 +0200 (2010-05-12)
changeset 36862 952b2b102a0a
parent 15582 7219facb3fd0
permissions -rw-r--r--
removed obsolete CVS Ids;
     1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
     2 
     3 <html>
     4 
     5 <head>
     6   <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
     7   <title>HOLCF/IOA/README</title>
     8 </head>
     9 
    10 <body>
    11 
    12 <h3>IOA: A basic formalization of I/O automata in HOL</h3>
    13 
    14 Author:     Konrad Slind, Tobias Nipkow and Olaf M&uuml;ller<br>
    15 Copyright   1995,1996 Technische Universit&auml;t M&uuml;nchen
    16 
    17 <p>
    18 
    19 This directory contains a formalization of the meta theory of I/O automata in HOL.
    20 This formalization has been significantly changed and extended.  The new version
    21 is available in the subdirectory HOLCF/IOA.  There are also the proofs of two
    22 communication protocols which formerly have been here.
    23 
    24 </body>
    25 </html>