renaming/removal of filenames to correct case
authorlcp
Fri May 06 15:16:11 1994 +0200 (1994-05-06)
changeset 3646573122322d7
parent 363 1180a3c5479e
child 365 796c5e305b31
renaming/removal of filenames to correct case
src/ZF/ROOT.ML
     1.1 --- a/src/ZF/ROOT.ML	Fri May 06 15:02:57 1994 +0200
     1.2 +++ b/src/ZF/ROOT.ML	Fri May 06 15:16:11 1994 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  
     1.5  print_depth 1;
     1.6  
     1.7 -use_thy "fin";
     1.8 +use_thy "Fin";
     1.9  use_thy "ListFn";
    1.10  
    1.11  (*printing functions are inherited from FOL*)