changeset 41047 | 9f1d3fcef1ca |
parent 41046 | f2e94005d283 |
child 41049 | 0edd245892ed |
--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML Tue Dec 07 11:56:01 2010 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML Tue Dec 07 11:56:01 2010 +0100 @@ -424,7 +424,6 @@ (@{const_name converse}, 1), (@{const_name trancl}, 1), (@{const_name rel_comp}, 2), - (@{const_name prod}, 2), (@{const_name image}, 2), (@{const_name finite}, 1), (@{const_name unknown}, 0),