changeset 55417 | 01fbfb60c33e |
parent 55370 | e6be866b5f5b |
child 55447 | aa41ecbdc205 |
--- a/src/HOL/ROOT Wed Feb 12 08:35:57 2014 +0100 +++ b/src/HOL/ROOT Wed Feb 12 08:37:06 2014 +0100 @@ -464,7 +464,7 @@ Author: Tobias Nipkow and Konrad Slind and Olaf Müller Copyright 1994--1996 TU Muenchen - The meta theory of I/O-Automata in HOL. This formalization has been + The meta-theory of I/O-Automata in HOL. This formalization has been significantly changed and extended, see HOLCF/IOA. There are also the proofs of two communication protocols which formerly have been here.