ROOT.ML

--- a/ROOT.ML	Thu Mar 17 17:02:49 1994 +0100
+++ b/ROOT.ML	Fri Mar 18 20:32:18 1994 +0100
@@ -80,6 +80,7 @@
 use_thy "Sum";
 use     "mono.ML";
 use_thy "LList";
+use_thy "Datatype";
 
 use "../Pure/install_pp.ML";
 print_depth 8;