# HG changeset patch
# User lcp
# Date 768230171 -7200
# Node ID 6573122322d73b558a5bb7840071f92f8f34d9ba
# Parent  1180a3c5479e4aebdec960ccc9ccf0c58693a55f
renaming/removal of filenames to correct case

diff -r 1180a3c5479e -r 6573122322d7 src/ZF/ROOT.ML
--- a/src/ZF/ROOT.ML	Fri May 06 15:02:57 1994 +0200
+++ b/src/ZF/ROOT.ML	Fri May 06 15:16:11 1994 +0200
@@ -28,7 +28,7 @@
 
 print_depth 1;
 
-use_thy "fin";
+use_thy "Fin";
 use_thy "ListFn";
 
 (*printing functions are inherited from FOL*)