src/Pure/ROOT.ML
changeset 10413 0e015d9bea4e
parent 9959 4a2ae974043d
child 10912 3cf3bb8ee324
     1.1 --- a/src/Pure/ROOT.ML	Tue Nov 07 17:42:19 2000 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Tue Nov 07 17:44:48 2000 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  *)
     1.5  
     1.6  val banner = "Pure Isabelle";
     1.7 -val version = "Isabelle repository version";
     1.8 +val version = "Isabelle repository";
     1.9  
    1.10  print_depth 1;
    1.11  
    1.12 @@ -43,6 +43,7 @@
    1.13  use "pure_thy.ML";
    1.14  use "deriv.ML";
    1.15  use "drule.ML";
    1.16 +use "meta_simplifier.ML";
    1.17  use "locale.ML";
    1.18  use "tctical.ML";
    1.19  use "search.ML";