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