prop-calc.elf
equiv.elf
equiv.thm
examples.quy