src/Pure/ROOT.ML
changeset 22904 de2d630e1548
parent 22796 34c316d7b630
child 23353 3069dade3eb4
     1.1 --- a/src/Pure/ROOT.ML	Thu May 10 00:39:49 2007 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu May 10 00:39:50 2007 +0200
     1.3 @@ -70,6 +70,7 @@
     1.4  use "pure_thy.ML";
     1.5  use "display.ML";
     1.6  use "drule.ML";
     1.7 +use "conv.ML";
     1.8  use "morphism.ML";
     1.9  use "variable.ML";
    1.10  use "tctical.ML";