| changeset 66954 | 0230af0f3c59 |
| parent 65458 | cf504b7a7aa7 |
| child 69597 | ff784d5a5bfb |
--- a/src/HOL/Mutabelle/mutabelle_extra.ML Mon Oct 30 19:29:06 2017 +0000 +++ b/src/HOL/Mutabelle/mutabelle_extra.ML Tue Oct 31 07:11:03 2017 +0000 @@ -268,7 +268,6 @@ @{const_name Meson.skolem}, @{const_name ATP.fequal}, @{const_name ATP.fEx}, - @{const_name transfer_morphism}, @{const_name enum_prod_inst.enum_all_prod}, @{const_name enum_prod_inst.enum_ex_prod}, @{const_name Quickcheck_Random.catch_match},