# HG changeset patch
# User clasohm
# Date 749913579 -3600
# Node ID a8f1cdbbc5b8b55c4d94ddac5900b1279da5fa58
# Parent  eb01df4ffe66191c9c673fbe776657f1d02d69ee
changed "list-fn" to "listfn"

diff -r eb01df4ffe66 -r a8f1cdbbc5b8 src/ZF/ROOT.ML
--- a/src/ZF/ROOT.ML	Wed Oct 06 10:33:33 1993 +0100
+++ b/src/ZF/ROOT.ML	Wed Oct 06 14:19:39 1993 +0100
@@ -67,7 +67,7 @@
 
 use     "fin.ML";
 use     "list.ML";
-use_thy "list-fn";
+use_thy "listfn";
 
 (*printing functions are inherited from FOL*)
 print_depth 8;