changeset 41049 | 0edd245892ed |
parent 41047 | 9f1d3fcef1ca |
child 41052 | 3db267a01c1d |
--- 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 image}, 2), (@{const_name finite}, 1), (@{const_name unknown}, 0), (@{const_name is_unknown}, 1),