src/HOL/Tools/Nitpick/nitpick_hol.ML
changeset 41047 9f1d3fcef1ca
parent 41046 f2e94005d283
child 41049 0edd245892ed
equal deleted inserted replaced
41046:f2e94005d283 41047:9f1d3fcef1ca
   422    (@{const_name snd}, 1),
   422    (@{const_name snd}, 1),
   423    (@{const_name Id}, 0),
   423    (@{const_name Id}, 0),
   424    (@{const_name converse}, 1),
   424    (@{const_name converse}, 1),
   425    (@{const_name trancl}, 1),
   425    (@{const_name trancl}, 1),
   426    (@{const_name rel_comp}, 2),
   426    (@{const_name rel_comp}, 2),
   427    (@{const_name prod}, 2),
       
   428    (@{const_name image}, 2),
   427    (@{const_name image}, 2),
   429    (@{const_name finite}, 1),
   428    (@{const_name finite}, 1),
   430    (@{const_name unknown}, 0),
   429    (@{const_name unknown}, 0),
   431    (@{const_name is_unknown}, 1),
   430    (@{const_name is_unknown}, 1),
   432    (@{const_name safe_The}, 1),
   431    (@{const_name safe_The}, 1),