src/HOL/UNITY/Common.thy
changeset 5313 1861a564d7e2
parent 5277 e4297d03e5d2
child 5648 fe887910e32e
     1.1 --- a/src/HOL/UNITY/Common.thy	Thu Aug 13 17:44:50 1998 +0200
     1.2 +++ b/src/HOL/UNITY/Common.thy	Thu Aug 13 18:06:40 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 + Traces +
     1.8 +Common = SubstAx +
     1.9  
    1.10  consts
    1.11    ftime,gtime :: nat=>nat