| changeset 40945 | b8703f63bfb2 |
| parent 40774 | 0437dbc127b3 |
| child 41476 | 0fa9629aa399 |
--- a/src/HOL/HOLCF/IOA/meta_theory/TLS.thy Fri Dec 03 20:26:57 2010 +0100 +++ b/src/HOL/HOLCF/IOA/meta_theory/TLS.thy Fri Dec 03 20:38:58 2010 +0100 @@ -1,5 +1,5 @@ (* Title: HOLCF/IOA/meta_theory/TLS.thy - Author: Olaf Müller + Author: Olaf Müller *) header {* Temporal Logic of Steps -- tailored for I/O automata *}