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