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