minor changes
Tue, 20 May 1997 16:01:03 +0200
changeset 3249 e92d1cfbc55d
parent 3248 3e1664348551
child 3250 9328e9ebe325
minor changes
--- 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