--- a/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon May 31 10:29:04 2010 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_hol.ML Mon May 31 17:20:41 2010 +0200
@@ -1663,8 +1663,7 @@
(* TODO: Move to "Nitpick.thy" *)
val basic_ersatz_table =
- [(@{const_name prod_case}, @{const_name split}),
- (@{const_name card}, @{const_name card'}),
+ [(@{const_name card}, @{const_name card'}),
(@{const_name setsum}, @{const_name setsum'}),
(@{const_name fold_graph}, @{const_name fold_graph'}),
(@{const_name wf}, @{const_name wf'}),