More Church-Rosser Proofs (in Isabelle/HOL).

Tobias Nipkow

Browse the full CADE paper archive.