More Church-Rosser proofs (in Isabelle/HOL (1996)

by T Nipkow
Venue:Journal of Automated Reasoning