--- a/src/ZF/func.thy Mon May 20 12:59:59 2002 +0200
+++ b/src/ZF/func.thy Tue May 21 13:06:36 2002 +0200
@@ -6,7 +6,7 @@
Functions in Zermelo-Fraenkel Set Theory
*)
-theory func = domrange + equalities:
+theory func = equalities:
(*** The Pi operator -- dependent function space ***)