--- a/src/ZF/Rel.thy Mon May 20 12:59:59 2002 +0200
+++ b/src/ZF/Rel.thy Tue May 21 13:06:36 2002 +0200
@@ -6,7 +6,7 @@
Relations in Zermelo-Fraenkel Set Theory
*)
-Rel = domrange +
+Rel = equalities +
consts
refl,irrefl,equiv :: [i,i]=>o
sym,asym,antisym,trans :: i=>o