changeset 41589 | bbd861837ebc |
parent 34055 | fdf294ee08b2 |
child 42174 | d0be2722ce9f |
--- a/src/HOL/IMP/Denotation.thy Sun Jan 16 15:31:22 2011 +0100 +++ b/src/HOL/IMP/Denotation.thy Sun Jan 16 15:53:03 2011 +0100 @@ -1,7 +1,5 @@ (* Title: HOL/IMP/Denotation.thy - ID: $Id$ Author: Heiko Loetzbeyer & Robert Sandner, TUM - Copyright 1994 TUM *) header "Denotational Semantics of Commands"