# HG changeset patch
# User mueller
# Date 864136863 -7200
# Node ID e92d1cfbc55d4af72d6080960a7e80ed7709c60c
# Parent  3e1664348551e8ed9f36d5633de02e62b134cf1c
minor changes

diff -r 3e1664348551 -r e92d1cfbc55d 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