--- a/src/ZF/ex/Acc.thy Wed Jan 13 12:44:33 1999 +0100
+++ b/src/ZF/ex/Acc.thy Wed Jan 13 15:14:47 1999 +0100
@@ -18,6 +18,6 @@
domains "acc(r)" <= "field(r)"
intrs
vimage "[| r-``{a}: Pow(acc(r)); a: field(r) |] ==> a: acc(r)"
- monos "[Pow_mono]"
+ monos Pow_mono
end