dsBNF.elf
cpsBNF.elf
fig1.elf
def1+5+fig4.elf
th2.elf
def3+6+fig5.elf
th4.elf
fig7.elf
fig8.elf
fig10.elf
fig12.elf
lemma7.elf
th8.elf
fig9.elf
lemma9.elf
th10.elf
def13.elf
lemma14.elf
th15.elf
def16.elf
fig11.elf
fig13.elf
corr.elf
lemma17.elf
th18.elf
test.quy
