src/HOL/ROOT.ML
changeset 4896 4727272f3db6
parent 4864 3abfe2093aa0
child 5078 7b5ea59c0275
     1.1 --- a/src/HOL/ROOT.ML	Tue May 05 13:27:18 1998 +0200
     1.2 +++ b/src/HOL/ROOT.ML	Tue May 05 17:28:22 1998 +0200
     1.3 @@ -57,6 +57,7 @@
     1.4  use_thy "Sexp";
     1.5  use_thy "WF_Rel";
     1.6  use_thy "Map";
     1.7 +use_thy "Update";
     1.8  
     1.9  (*TFL: recursive function definitions*)
    1.10  cd "$ISABELLE_HOME/src/TFL";