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/Tools/BNF/bnf_gfp.ML
changeset 58208 cd7868fd8f01
parent 58179 2de7b0313de3
child 58241 ff8059e3e803 
--- a/src/HOL/Tools/BNF/bnf_gfp.ML	Mon Sep 08 14:03:01 2014 +0200
+++ b/src/HOL/Tools/BNF/bnf_gfp.ML	Mon Sep 08 14:03:01 2014 +0200
@@ -75,7 +75,7 @@
       map (fn b =>
         Binding.prefix true b_name (Binding.prefix_name (name ^ "_") b) |> Binding.conceal) bs;
     val external_bs = map2 (Binding.prefix false) b_names bs
-      |> note_all = false ? map Binding.conceal;
+      |> not note_all ? map Binding.conceal;
 
     (* TODO: check if m, n, etc., are sane *)
isabelle