Mercurial Mercurial > hg > nominal2 / 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.
Nominal/nominal_function_core.ML
changeset 3200 995d47b09ab4
parent 3197 25d11b449e92
child 3218 89158f401b07 
--- a/Nominal/nominal_function_core.ML	Tue Aug 28 16:48:07 2012 +0100
+++ b/Nominal/nominal_function_core.ML	Thu Oct 04 11:10:23 2012 +0100
@@ -602,8 +602,7 @@
             coind = false,
             no_elim = false,
             no_ind = false,
-            skip_mono = true,
-            fork_mono = false}
+            skip_mono = true}
           [binding] (* relation *)
           [] (* no parameters *)
           (map (fn t => (Attrib.empty_binding, t)) intrs) (* intro rules *)
nominal2