src/HOL/TLA/TLA.thy
changeset 35108 e384e27c229f
parent 35068 544867142ea4
child 41529 ba60efa2fd08
     1.1 --- a/src/HOL/TLA/TLA.thy	Thu Feb 11 13:54:53 2010 +0100
     1.2 +++ b/src/HOL/TLA/TLA.thy	Thu Feb 11 21:31:50 2010 +0100
     1.3 @@ -1,8 +1,6 @@
     1.4 -(*
     1.5 -    File:        TLA/TLA.thy
     1.6 -    ID:          $Id$
     1.7 -    Author:      Stephan Merz
     1.8 -    Copyright:   1998 University of Munich
     1.9 +(*  Title:      HOL/TLA/TLA.thy
    1.10 +    Author:     Stephan Merz
    1.11 +    Copyright:  1998 University of Munich
    1.12  *)
    1.13  
    1.14  header {* The temporal level of TLA *}
    1.15 @@ -1168,4 +1166,3 @@
    1.16    done
    1.17  
    1.18  end
    1.19 -