src/HOL/UNITY/Common.thy
changeset 5277 e4297d03e5d2
parent 4776 1f9362e769c1
child 5313 1861a564d7e2
     1.1 --- a/src/HOL/UNITY/Common.thy	Thu Aug 06 14:04:49 1998 +0200
     1.2 +++ b/src/HOL/UNITY/Common.thy	Thu Aug 06 15:47:26 1998 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  From Misra, "A Logic for Concurrent Programming" (1994), sections 5.1 and 13.1.
     1.5  *)
     1.6  
     1.7 -Common = WFair +
     1.8 +Common = WFair + Traces +
     1.9  
    1.10  consts
    1.11    ftime,gtime :: nat=>nat