lam.elf
ord-red.elf
par-red.elf
par-lemmas.elf
% par-cr.elf
% ord-lemmas.elf
% equiv.elf
% ord-cr.elf
% examples.quy
church-rosser.thm