diff -r 1a1b4c1b2b7c -r 0e015d9bea4e src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Nov 07 17:42:19 2000 +0100
+++ b/src/Pure/ROOT.ML	Tue Nov 07 17:44:48 2000 +0100
@@ -7,7 +7,7 @@
 *)
 
 val banner = "Pure Isabelle";
-val version = "Isabelle repository version";
+val version = "Isabelle repository";
 
 print_depth 1;
 
@@ -43,6 +43,7 @@
 use "pure_thy.ML";
 use "deriv.ML";
 use "drule.ML";
+use "meta_simplifier.ML";
 use "locale.ML";
 use "tctical.ML";
 use "search.ML";