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/BNF/Tools/bnf_ctr_sugar.ML
changeset 52322 74315fe137ba
parent 52280 c3f837d92537
child 52375 bae65fd74633 
--- a/src/HOL/BNF/Tools/bnf_ctr_sugar.ML	Thu Jun 06 15:49:09 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_ctr_sugar.ML	Thu Jun 06 15:56:17 2013 +0200
@@ -207,7 +207,7 @@
     fun is_disc_binding_valid b =
       not (Binding.is_empty b orelse Binding.eq_name (b, equal_binding));
 
-    val standard_disc_binding = qualify false o Binding.name o prefix isN o base_name_of_ctr;
+    val standard_disc_binding = Binding.name o prefix isN o base_name_of_ctr;
 
     val disc_bindings =
       raw_disc_bindings'
isabelle