src/Pure/ROOT.ML
changeset 59026 30b8a5825a9c
parent 58928 23d0ffd48006
child 59054 61b723761dff
     1.1 --- a/src/Pure/ROOT.ML	Fri Nov 21 13:18:56 2014 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Fri Nov 21 18:14:39 2014 +0100
     1.3 @@ -183,6 +183,8 @@
     1.4  use "theory.ML";
     1.5  use "proofterm.ML";
     1.6  use "thm.ML";
     1.7 +use "more_pattern.ML";
     1.8 +use "more_unify.ML";
     1.9  use "more_thm.ML";
    1.10  use "facts.ML";
    1.11  use "global_theory.ML";