changeset 42151 | 4da4fc77664b |
parent 40774 | 0437dbc127b3 |
child 43143 | 1aeafba76f21 |
--- a/src/HOL/HOLCF/IMP/Denotational.thy Tue Mar 29 17:30:26 2011 +0200 +++ b/src/HOL/HOLCF/IMP/Denotational.thy Tue Mar 29 17:47:11 2011 +0200 @@ -1,4 +1,4 @@ -(* Title: HOLCF/IMP/Denotational.thy +(* Title: HOL/HOLCF/IMP/Denotational.thy Author: Tobias Nipkow and Robert Sandner, TUM Copyright 1996 TUM *)