src/ZF/ROOT.ML

 use     "constructor.ML";
 use     "datatype.ML";
 
 use     "fin.ML";
 use     "list.ML";
-use_thy "list-fn";
+use_thy "listfn";
 
 (*printing functions are inherited from FOL*)
 print_depth 8;
 
 val ZF_build_completed = ();	(*indicate successful build*)