src/Pure/ROOT.ML
changeset 60630 fc7625ec7427
parent 59901 840d03805755
child 60911 858694df711b
     1.1 --- a/src/Pure/ROOT.ML	Thu Jul 02 12:33:04 2015 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Jul 02 12:39:08 2015 +0200
     1.3 @@ -262,6 +262,7 @@
     1.4  use "Isar/proof.ML";
     1.5  use "Isar/element.ML";
     1.6  use "Isar/obtain.ML";
     1.7 +use "Isar/subgoal.ML";
     1.8  
     1.9  (*local theories and targets*)
    1.10  use "Isar/locale.ML";
    1.11 @@ -317,8 +318,6 @@
    1.12  (*theory and proof operations*)
    1.13  use "Isar/isar_cmd.ML";
    1.14  
    1.15 -use "subgoal.ML";
    1.16 -
    1.17  
    1.18  (* Isabelle/Isar system *)
    1.19