changeset 19589 | d42149a01a01 |
parent 19417 | 3a9d25bdd7f4 |
child 19837 | a2e93327daa3 |
--- a/src/Pure/ROOT.ML Mon May 08 12:23:57 2006 +0200 +++ b/src/Pure/ROOT.ML Mon May 08 17:40:05 2006 +0200 @@ -43,9 +43,9 @@ use "theory.ML"; use "proofterm.ML"; use "thm.ML"; -use "display.ML"; use "fact_index.ML"; use "pure_thy.ML"; +use "display.ML"; use "drule.ML"; use "tctical.ML"; use "search.ML";