src/ZF/ROOT.ML
changeset 6153 bff90585cce5
parent 6112 5e4871c5136b
child 6260 a8010d459ef7
     1.1 --- a/src/ZF/ROOT.ML	Mon Jan 25 20:35:19 1999 +0100
     1.2 +++ b/src/ZF/ROOT.ML	Wed Jan 27 10:31:31 1999 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  use     "thy_syntax";
     1.5  
     1.6  use_thy "Let";
     1.7 -use_thy "func";
     1.8 +use_thy "ZF";
     1.9  use     "Tools/typechk";
    1.10  use_thy "mono";
    1.11  use     "ind_syntax";