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.
added code for insert
authorhaftmann
Mon, 02 Oct 2006 23:00:58 +0200
changeset 20840 5e92606245b6
parent 20839 ed49d8709959
child 20841 d4f94d2a3414
added code for insert
src/HOL/Library/ExecutableSet.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/ExecutableSet.thy	Mon Oct 02 23:00:57 2006 +0200
+++ b/src/HOL/Library/ExecutableSet.thy	Mon Oct 02 23:00:58 2006 +0200
@@ -282,6 +282,10 @@
   (SML "{*insertl*}")
   (Haskell "{*insertl*}")
 
+code_const insert
+  (SML "{*insertl*}")
+  (Haskell "{*insertl*}")
+
 code_const "op \<union>"
   (SML "{*unionl*}")
   (Haskell "{*unionl*}")
isabelle