changeset 32089 | 568a23753e3a |
parent 32015 | 7101feb5247e |
child 32169 | fbada8ed12e6 |
--- a/src/Pure/ROOT.ML Mon Jul 20 20:03:19 2009 +0200 +++ b/src/Pure/ROOT.ML Mon Jul 20 21:20:09 2009 +0200 @@ -115,17 +115,18 @@ use "more_thm.ML"; use "facts.ML"; use "pure_thy.ML"; -use "display.ML"; use "drule.ML"; use "morphism.ML"; use "variable.ML"; use "conv.ML"; +use "display_goal.ML"; use "tctical.ML"; use "search.ML"; use "tactic.ML"; use "meta_simplifier.ML"; use "conjunction.ML"; use "assumption.ML"; +use "display.ML"; use "goal.ML"; use "axclass.ML";