src/Pure/ROOT.ML
changeset 1582 97a305db0c9e
parent 1528 608dd813b437
child 1595 b9984b1dbc4c
     1.1 --- a/src/Pure/ROOT.ML	Fri Mar 15 13:34:39 1996 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Fri Mar 15 18:38:24 1996 +0100
     1.3 @@ -37,6 +37,7 @@
     1.4  use "thm.ML";
     1.5  use "drule.ML";
     1.6  use "tctical.ML";
     1.7 +use "search.ML";
     1.8  use "tactic.ML";
     1.9  use "goals.ML";
    1.10  use "axclass.ML";