Skip to content

Rewrite head_equivalent_def using "case .. of"; merged all RNEWS_TAC #641

Rewrite head_equivalent_def using "case .. of"; merged all RNEWS_TAC

Rewrite head_equivalent_def using "case .. of"; merged all RNEWS_TAC #641