% From mini-ml
mini-ml.elf
eval.elf
tp.elf
tpinf.elf
value.elf
% CPM machine
cpm.elf
ceval.elf
cpm-sound.elf
cpm-complete.elf
% Progress theorem
progress.elf
% Additional material
proof-equiv.elf
% theorems.thm
examples.quy