src/ZF/ROOT.ML
changeset 532 851df239ac8b
parent 516 1957113f0d7d
child 578 efc648d29dd0
--- a/src/ZF/ROOT.ML	Tue Aug 16 18:53:29 1994 +0200
+++ b/src/ZF/ROOT.ML	Tue Aug 16 18:58:42 1994 +0200
@@ -42,6 +42,7 @@
 
 use_thy "InfDatatype";
 use_thy "List";
+use_thy "EquivClass";
 
 (*printing functions are inherited from FOL*)
 print_depth 8;