changeset 41589 | bbd861837ebc |
parent 27362 | a6dc1769fdda |
child 42174 | d0be2722ce9f |
--- a/src/HOL/IMP/Com.thy Sun Jan 16 15:31:22 2011 +0100 +++ b/src/HOL/IMP/Com.thy Sun Jan 16 15:53:03 2011 +0100 @@ -1,8 +1,6 @@ (* Title: HOL/IMP/Com.thy - ID: $Id$ Author: Heiko Loetzbeyer & Robert Sandner & Tobias Nipkow, TUM - Isar Version: Gerwin Klein, 2001 - Copyright 1994 TUM + Author: Gerwin Klein *) header "Syntax of Commands"