mini-ml.elf
tp.elf
eval.elf
value.elf
val-sound.elf
val-sound.thm
closed.elf
tpinf.elf
tp-preserve.elf
tp-preserve.thm
reduce.elf
reduce.thm
examples.quy