src/HOL/Tools/Nitpick/nitpick_hol.ML
changeset 41049 0edd245892ed
parent 41047 9f1d3fcef1ca
child 41052 3db267a01c1d
equal deleted inserted replaced
41048:d5ebe94248ad 41049:0edd245892ed
   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 image}, 2),
       
   428    (@{const_name finite}, 1),
   427    (@{const_name finite}, 1),
   429    (@{const_name unknown}, 0),
   428    (@{const_name unknown}, 0),
   430    (@{const_name is_unknown}, 1),
   429    (@{const_name is_unknown}, 1),
   431    (@{const_name safe_The}, 1),
   430    (@{const_name safe_The}, 1),
   432    (@{const_name Frac}, 0),
   431    (@{const_name Frac}, 0),