Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/drule.ML
changeset 70494 41108e3e9ca5
parent 70472 cf66d2db97fe
child 74200 17090e27aae9 
--- a/src/Pure/drule.ML	Fri Aug 09 15:58:26 2019 +0200
+++ b/src/Pure/drule.ML	Fri Aug 09 17:14:49 2019 +0200
@@ -256,7 +256,7 @@
 val export_without_context =
   flexflex_unique NONE
   #> export_without_context_open
-  #> Thm.close_derivation;
+  #> Thm.close_derivation \<^here>;
 
 
 (*Rotates a rule's premises to the left by k*)
isabelle