src/HOL/Tools/Nitpick/nitpick_hol.ML
changeset 47433 07f4bf913230
parent 47109 db5026631799
child 47667 b4f71d8aecd6
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_hol.ML	Tue Apr 03 08:55:06 2012 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML	Tue Apr 03 17:26:30 2012 +0900
     1.3 @@ -391,7 +391,7 @@
     1.4     (@{const_name Id}, 0),
     1.5     (@{const_name converse}, 1),
     1.6     (@{const_name trancl}, 1),
     1.7 -   (@{const_name rel_comp}, 2),
     1.8 +   (@{const_name relcomp}, 2),
     1.9     (@{const_name finite}, 1),
    1.10     (@{const_name unknown}, 0),
    1.11     (@{const_name is_unknown}, 1),