formulas.elf
int.elf
cl.elf
int-admit.elf
cl-admit.elf
int-cut.elf
cl-cut.elf
int-elim.elf
cl-elim.elf
examples.quy
cl.thm
int.thm