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