prop-calc.elf
ndclass.elf
thm1.elf
% prop-calc.elf
% equiv.elf
% equiv.thm
% examples.quy