Typo in the name "CASE_REWRITE_TAC" (was written "CASES_REWRITE_TAC" in a couple of places).