# HG changeset patch
# User paulson
# Date 900340890 -7200
# Node ID c12a6eb095749866e92fa95473720e45d8627cf6
# Parent  51f81581e3d9a6d074801babfd07a15239398e0a
renamed mutex to Acts

diff -r 51f81581e3d9 -r c12a6eb09574 src/HOL/UNITY/UNITY.thy
--- a/src/HOL/UNITY/UNITY.thy	Mon Jul 13 16:04:39 1998 +0200
+++ b/src/HOL/UNITY/UNITY.thy	Mon Jul 13 16:41:30 1998 +0200
@@ -22,6 +22,6 @@
     "strongest_rhs Acts A == Inter {B. constrains Acts A B}"
 
   unless :: "[('a * 'a)set set, 'a set, 'a set] => bool"
-    "unless mutex A B == constrains mutex (A-B) (A Un B)"
+    "unless Acts A B == constrains Acts (A-B) (A Un B)"
 
 end