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