--- a/doc-src/TutorialI/Advanced/ROOT.ML Wed Dec 13 09:32:55 2000 +0100 +++ b/doc-src/TutorialI/Advanced/ROOT.ML Wed Dec 13 09:39:53 2000 +0100 @@ -1,3 +1,4 @@ use "../settings.ML"; use_thy "simp"; use_thy "WFrec"; +use_thy "Partial";