
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




