tuned header
authorhaftmann
Mon Sep 21 15:35:14 2009 +0200 (2009-09-21)
changeset 3269290c8af39e215
parent 32691 cdf70f1fc9f9
child 32693 6c6b1ba5e71e
tuned header
src/HOL/UNITY/Simple/Common.thy
     1.1 --- a/src/HOL/UNITY/Simple/Common.thy	Mon Sep 21 15:35:14 2009 +0200
     1.2 +++ b/src/HOL/UNITY/Simple/Common.thy	Mon Sep 21 15:35:14 2009 +0200
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      HOL/UNITY/Common
     1.5 -    ID:         $Id$
     1.6      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.7      Copyright   1998  University of Cambridge
     1.8  
     1.9 @@ -10,7 +9,9 @@
    1.10  From Misra, "A Logic for Concurrent Programming" (1994), sections 5.1 and 13.1.
    1.11  *)
    1.12  
    1.13 -theory Common imports "../UNITY_Main" begin
    1.14 +theory Common
    1.15 +imports "../UNITY_Main"
    1.16 +begin
    1.17  
    1.18  consts
    1.19    ftime :: "nat=>nat"