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.
explicit nonfix declaration for ML "subset"
authorhaftmann
Mon, 18 Dec 2006 08:21:31 +0100
changeset 21875 5df10a17644e
parent 21874 aa350df2372c
child 21876 96a601bc59d8
explicit nonfix declaration for ML "subset"
src/HOL/Library/ExecutableSet.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/ExecutableSet.thy	Mon Dec 18 08:21:30 2006 +0100
+++ b/src/HOL/Library/ExecutableSet.thy	Mon Dec 18 08:21:31 2006 +0100
@@ -271,6 +271,7 @@
 ML {*
 nonfix inter;
 nonfix union;
+nonfix subset;
 *}
 
 code_modulename SML
isabelle