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/HOL/Quotient_Examples/Lift_DList.thy
changeset 70009 435fb018e8ee
parent 63167 0909deb8059b 
--- a/src/HOL/Quotient_Examples/Lift_DList.thy	Thu Mar 28 21:22:44 2019 +0100
+++ b/src/HOL/Quotient_Examples/Lift_DList.thy	Thu Mar 28 21:24:55 2019 +0100
@@ -50,5 +50,6 @@
 text \<open>We can export code:\<close>
 
 export_code empty insert remove map filter null member length fold foldr concat in SML
+  file_prefix dlist
 
 end
isabelle