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.
tuned
authorhaftmann
Fri, 17 Aug 2018 11:26:31 +0000
changeset 68772 23a5e7fba837
parent 68771 7e1978b9a4d1
child 68773 1db9fef36f12
tuned
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/toplevel.ML	Sun Aug 19 10:32:22 2018 +0200
+++ b/src/Pure/Isar/toplevel.ML	Fri Aug 17 11:26:31 2018 +0000
@@ -213,7 +213,7 @@
             Theory (gthy, _) => gthy
           | Proof (_, (_, gthy)) => gthy
           | Skipped_Proof (_, (_, gthy)) => gthy);
-        val lthy = Context.cases (Named_Target.theory_init) I gthy;
+        val lthy = Context.cases Named_Target.theory_init I gthy;
       in Local_Theory.pretty lthy end);
 
 fun pretty_state state =
isabelle