%%% The Church-Rosser theorem for parallel reduction
%%% Author: Frank Pfenning

% Substitution lemma for parallel reduction