src/ZF/func.thy
changeset 519 98b88551e102
parent 124 858ab9a9b047
child 2469 b50b8c0eec01
--- a/src/ZF/func.thy	Mon Aug 15 16:12:35 1994 +0200
+++ b/src/ZF/func.thy	Mon Aug 15 18:04:10 1994 +0200
@@ -1,3 +1,3 @@
 (*Dummy theory to document dependencies *)
 
-func = "domrange"
\ No newline at end of file
+func = "domrange" + "equalities"