changeset 17103 | 5a8da7720ecb |
parent 17058 | a5737356d806 |
child 17348 | 2b30ade8b35d |
--- a/src/Pure/Isar/ROOT.ML Thu Aug 18 11:17:37 2005 +0200 +++ b/src/Pure/Isar/ROOT.ML Thu Aug 18 11:17:38 2005 +0200 @@ -14,8 +14,8 @@ use "args.ML"; use "attrib.ML"; use "locale.ML"; +use "method.ML"; use "proof.ML"; -use "method.ML"; use "proof_history.ML"; use "net_rules.ML"; use "induct_attrib.ML";