diff -r ace664b0c978 -r 458a67fd5461 src/HOL/UNITY/WFair.thy
--- a/src/HOL/UNITY/WFair.thy	Wed Oct 21 17:55:18 1998 +0200
+++ b/src/HOL/UNITY/WFair.thy	Wed Oct 21 17:57:02 1998 +0200
@@ -36,7 +36,7 @@
     *)
     Union  "(UN A:S. {(A,B)}) : Pow (leadsto F) ==> (Union S, B) : leadsto F"
 
-  monos "[Pow_mono]"
+  monos Pow_mono