From 371686c260556422017fb5789a496f4bd82182f9 Mon Sep 17 00:00:00 2001
From: hellerve <veit@veitheller.de>
Date: Tue, 15 Jan 2019 10:23:14 +0100
Subject: [PATCH] ab: add fairspec theorem

---
 AB.tla | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/AB.tla b/AB.tla
index d8948f4..b6fc1fa 100644
--- a/AB.tla
+++ b/AB.tla
@@ -94,7 +94,9 @@ THEOREM Spec => ABS!Spec
 (***************************************************************************)
 FairSpec == Spec  /\  SF_vars(ARcv) /\ SF_vars(BRcv) /\
                       WF_vars(ASnd) /\ WF_vars(BSnd)
+
+THEOREM FairSpec => ABS!FairSpec
 =============================================================================
 \* Modification History
-\* Last modified Mon Jan 14 18:42:09 CET 2019 by veitheller
+\* Last modified Mon Jan 14 18:57:03 CET 2019 by veitheller
 \* Created Wed Mar 25 11:53:40 PDT 2015 by lamport