src/HOL/IOA/README.html
changeset 3249 e92d1cfbc55d
parent 3220 47d2cf09b3d8
child 3279 815ef5848324
     1.1 --- a/src/HOL/IOA/README.html	Tue May 20 12:22:33 1997 +0200
     1.2 +++ b/src/HOL/IOA/README.html	Tue May 20 16:01:03 1997 +0200
     1.3 @@ -2,8 +2,8 @@
     1.4  
     1.5  <H3>IOA: A basic formalization of I/O automata in HOL</H3>
     1.6  
     1.7 -Author:     Konrad Slind and Tobias Nipkow<BR>
     1.8 -Copyright   1995 Technische Universit&auml;t M&uuml;nchen<P>
     1.9 +Author:     Konrad Slind, Tobias Nipkow and Olaf M&uuml;ller<BR>
    1.10 +Copyright   1995,1996 Technische Universit&auml;t M&uuml;nchen<P>
    1.11  
    1.12  This directory contains a formalization of the meta theory of I/O automata in HOL.
    1.13  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