src/Pure/ROOT.ML
changeset 43794 49cbbe2768a8
parent 43791 5e9a1d71f94d
child 43795 ca5896a836ba
     1.1 --- a/src/Pure/ROOT.ML	Wed Jul 13 20:13:27 2011 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Jul 13 20:36:18 2011 +0200
     1.3 @@ -146,6 +146,7 @@
     1.4  use "interpretation.ML";
     1.5  use "proofterm.ML";
     1.6  use "thm.ML";
     1.7 +use "term_sharing.ML";
     1.8  use "more_thm.ML";
     1.9  use "facts.ML";
    1.10  use "global_theory.ML";