--- a/src/HOL/UNITY/WFair.thy Thu Aug 06 14:04:49 1998 +0200 +++ b/src/HOL/UNITY/WFair.thy Thu Aug 06 15:47:26 1998 +0200 @@ -8,7 +8,7 @@ From Misra, "A Logic for Concurrent Programming", 1994 *) -WFair = Traces + Vimage + +WFair = UNITY + constdefs