changeset 41589 | bbd861837ebc |
parent 39159 | 0dec18004e75 |
child 46459 | 73823dbbecc4 |
--- a/src/HOL/IMPP/Natural.thy Sun Jan 16 15:31:22 2011 +0100 +++ b/src/HOL/IMPP/Natural.thy Sun Jan 16 15:53:03 2011 +0100 @@ -1,7 +1,5 @@ (* Title: HOL/IMPP/Natural.thy - ID: $Id$ Author: David von Oheimb (based on a theory by Tobias Nipkow et al), TUM - Copyright 1999 TUM *) header {* Natural semantics of commands *}