changeset 15006 | 107e4dfd3b96 |
parent 14823 | ebb8499d0fd2 |
child 15481 | fc075ae929e4 |
--- a/src/Pure/ROOT.ML Thu Jun 24 17:54:53 2004 +0200 +++ b/src/Pure/ROOT.ML Fri Jun 25 14:30:55 2004 +0200 @@ -45,9 +45,9 @@ use "fact_index.ML"; use "pure_thy.ML"; use "drule.ML"; -use "meta_simplifier.ML"; use "tctical.ML"; use "search.ML"; +use "meta_simplifier.ML"; use "tactic.ML"; (*proof term operations*)