src/ZF/ROOT.ML
changeset 1069 66efd8f90fbd
parent 803 4c8333ab3eae
child 1296 ae31bb7774a7
     1.1 --- a/src/ZF/ROOT.ML	Sat Apr 22 13:25:31 1995 +0200
     1.2 +++ b/src/ZF/ROOT.ML	Tue Apr 25 10:56:49 1995 +0200
     1.3 @@ -32,6 +32,7 @@
     1.4  use     "../Pure/section_utils.ML";
     1.5  use     "thy_syntax.ML";
     1.6  
     1.7 +use_thy "Let";
     1.8  use_thy "InfDatatype";
     1.9  use_thy "List";
    1.10  use_thy "EquivClass";