Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
uniform use of original theory;
authorwenzelm
Fri, 08 Dec 2017 15:03:54 +0100
changeset 67162 0050cd50936d
parent 67161 b762ed417ed9
child 67163 257bcd20eeec
uniform use of original theory;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/toplevel.ML	Fri Dec 08 14:39:52 2017 +0100
+++ b/src/Pure/Isar/toplevel.ML	Fri Dec 08 15:03:54 2017 +0100
@@ -187,7 +187,7 @@
           (case node of
             Theory (gthy, _) => gthy
           | Proof (_, (_, gthy)) => gthy
-          | Skipped_Proof (_, (gthy, _)) => gthy);
+          | Skipped_Proof (_, (_, gthy)) => gthy);
         val lthy = Context.cases (Named_Target.theory_init) I gthy;
       in Local_Theory.pretty lthy end);
isabelle