uniform use of original theory;
authorwenzelm
Fri Dec 08 15:03:54 2017 +0100 (17 months ago)
changeset 671620050cd50936d
parent 67161 b762ed417ed9
child 67163 257bcd20eeec
uniform use of original theory;
src/Pure/Isar/toplevel.ML
     1.1 --- a/src/Pure/Isar/toplevel.ML	Fri Dec 08 14:39:52 2017 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Fri Dec 08 15:03:54 2017 +0100
     1.3 @@ -187,7 +187,7 @@
     1.4            (case node of
     1.5              Theory (gthy, _) => gthy
     1.6            | Proof (_, (_, gthy)) => gthy
     1.7 -          | Skipped_Proof (_, (gthy, _)) => gthy);
     1.8 +          | Skipped_Proof (_, (_, gthy)) => gthy);
     1.9          val lthy = Context.cases (Named_Target.theory_init) I gthy;
    1.10        in Local_Theory.pretty lthy end);
    1.11