constant.elf
il.elf
nat.elf
ile.elf
il-simp.elf
expand.elf
subtype.elf
el.elf
algorithm.elf
translate.elf
convert.elf

nat.thm
equality.thm
subst-fun.thm
strengthen.thm
explicit-lemmas.thm
regularity.thm
subst-effect.thm
inversion.thm
substitution.thm
expand.thm
subtype-lemmas.thm
trans-fun.thm
trans-reg.thm
trans-sub.thm
esubstitution.thm
functionality.thm
eregularity.thm
convert-effect.thm
convert-explicit.thm
convert-reg-il.thm
convert-fun.thm
convert-normal.thm
convert-sub.thm
convert-reg.thm
sound.thm
complete.thm
correct.thm
el-inversion.thm