| changeset 40945 | b8703f63bfb2 |
| parent 35762 | af3ff2ba4c54 |
| child 58871 | c399ae4b836f |
--- a/src/ZF/IMP/Denotation.thy Fri Dec 03 20:26:57 2010 +0100 +++ b/src/ZF/IMP/Denotation.thy Fri Dec 03 20:38:58 2010 +0100 @@ -1,5 +1,5 @@ (* Title: ZF/IMP/Denotation.thy - Author: Heiko Loetzbeyer and Robert Sandner, TU München + Author: Heiko Loetzbeyer and Robert Sandner, TU München *) header {* Denotational semantics of expressions and commands *}