author | haftmann |
Fri, 17 Aug 2007 13:59:00 +0200 | |
changeset 24306 | 7798a0f37253 |
parent 24305 | b1df9e31cda1 |
child 24307 | 434c9fbc1787 |
--- a/src/Pure/Isar/ROOT.ML Fri Aug 17 13:58:59 2007 +0200 +++ b/src/Pure/Isar/ROOT.ML Fri Aug 17 13:59:00 2007 +0200 @@ -48,13 +48,13 @@ use "code.ML"; (*derived theory and proof elements*) -use "local_theory.ML"; use "calculation.ML"; use "obtain.ML"; use "locale.ML"; +use "class.ML"; +use "local_theory.ML"; +use "theory_target.ML"; use "spec_parse.ML"; -use "class.ML"; -use "theory_target.ML"; use "specification.ML"; use "constdefs.ML";