src/HOL/UNITY/UNITY.thy
changeset 5135 c12a6eb09574
parent 4776 1f9362e769c1
child 5253 82a5ca6290aa
--- 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