| changeset 40945 | b8703f63bfb2 |
| parent 40774 | 0437dbc127b3 |
| child 41529 | ba60efa2fd08 |
--- a/src/HOL/HOLCF/IOA/meta_theory/Seq.thy Fri Dec 03 20:26:57 2010 +0100 +++ b/src/HOL/HOLCF/IOA/meta_theory/Seq.thy Fri Dec 03 20:38:58 2010 +0100 @@ -1,5 +1,5 @@ (* Title: HOLCF/IOA/meta_theory/Seq.thy - Author: Olaf Müller + Author: Olaf Müller *) header {* Partial, Finite and Infinite Sequences (lazy lists), modeled as domain *}