src/HOL/ROOT.ML
changeset 3981 b4f93a8da835
parent 3947 eb707467f8c5
child 4024 3c056eab237c
     1.1 --- a/src/HOL/ROOT.ML	Thu Oct 23 12:49:16 1997 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Fri Oct 24 10:31:31 1997 +0200
     1.3 @@ -43,9 +43,9 @@
     1.4  use_thy "RelPow";
     1.5  use_thy "Finite";
     1.6  use_thy "Sexp";
     1.7 -use_thy "Option";
     1.8  use_thy "WF_Rel";
     1.9  use_thy "List";
    1.10 +use_thy "Map";
    1.11  
    1.12  (*TFL: recursive function definitions*)
    1.13  cd "../TFL";