src/ZF/func.thy

--- a/src/ZF/func.thy	Fri Jan 03 10:48:28 1997 +0100
+++ b/src/ZF/func.thy	Fri Jan 03 15:01:55 1997 +0100
@@ -1,3 +1,3 @@
 (*Dummy theory to document dependencies *)
 
-func = "domrange" + "equalities"
+func = domrange + equalities