changeset 42151 | 4da4fc77664b |
parent 40945 | b8703f63bfb2 |
child 58880 | 0baae4311a9f |
--- a/src/HOL/HOLCF/IOA/meta_theory/CompoExecs.thy Tue Mar 29 17:30:26 2011 +0200 +++ b/src/HOL/HOLCF/IOA/meta_theory/CompoExecs.thy Tue Mar 29 17:47:11 2011 +0200 @@ -1,4 +1,4 @@ -(* Title: HOLCF/IOA/meta_theory/CompoExecs.thy +(* Title: HOL/HOLCF/IOA/meta_theory/CompoExecs.thy Author: Olaf Müller *)