src/HOL/IOA/README.html

--- a/src/HOL/IOA/README.html	Tue May 20 12:22:33 1997 +0200
+++ b/src/HOL/IOA/README.html	Tue May 20 16:01:03 1997 +0200
@@ -2,8 +2,8 @@
 
 <H3>IOA: A basic formalization of I/O automata in HOL</H3>
 
-Author:     Konrad Slind and Tobias Nipkow<BR>
-Copyright   1995 Technische Universit&auml;t M&uuml;nchen<P>
+Author:     Konrad Slind, Tobias Nipkow and Olaf M&uuml;ller<BR>
+Copyright   1995,1996 Technische Universit&auml;t M&uuml;nchen<P>
 
 This directory contains a formalization of the meta theory of I/O automata in HOL.
 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