# HG changeset patch
# User haftmann
# Date 1253540114 -7200
# Node ID 90c8af39e21544be8c202b69c7659bc156fedb71
# Parent  cdf70f1fc9f9d4e712971d73ccb027029761d810
tuned header

diff -r cdf70f1fc9f9 -r 90c8af39e215 src/HOL/UNITY/Simple/Common.thy
--- a/src/HOL/UNITY/Simple/Common.thy	Mon Sep 21 15:35:14 2009 +0200
+++ b/src/HOL/UNITY/Simple/Common.thy	Mon Sep 21 15:35:14 2009 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/UNITY/Common
-    ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1998  University of Cambridge
 
@@ -10,7 +9,9 @@
 From Misra, "A Logic for Concurrent Programming" (1994), sections 5.1 and 13.1.
 *)
 
-theory Common imports "../UNITY_Main" begin
+theory Common
+imports "../UNITY_Main"
+begin
 
 consts
   ftime :: "nat=>nat"