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.
prefer SML here
authorhaftmann
Sat, 17 Dec 2022 10:18:12 +0100
changeset 76660 89f78f76df1c
parent 76659 2afbd514b654
child 76661 0c7c6fa71ac3
child 76673 059a68d21f0f
prefer SML here
src/Doc/Codegen/Refinement.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/Codegen/Refinement.thy	Sat Dec 17 10:12:03 2022 +0100
+++ b/src/Doc/Codegen/Refinement.thy	Sat Dec 17 10:18:12 2022 +0100
@@ -261,7 +261,7 @@
 \<close>
 
 text %quote \<open>
-  @{code_stmts Dlist.empty Dlist.insert Dlist.remove list_of_dlist (Haskell)}
+  @{code_stmts Dlist.empty Dlist.insert Dlist.remove list_of_dlist (SML)}
 \<close>
 
 text \<open>
isabelle