lam.elf
% ord-red.elf
par-red.elf
par-lemmas.elf
% par-cr.elf
% ord-lemmas.elf
% equiv.elf
% ord-cr.elf