%%% Simply Typed Lambda Calculus w/ small-step, allocation semantics
%%% Author: Matthew Fluet (June 2005)
%%% sources.elf

absurdum.elf
nat.elf
nat-lemmas.elf
syntax.elf
loc.elf
loc-lemmas.elf
exp.elf
val.elf
store.elf
store-lemmas.elf
dynsem.elf
dynsem-lemmas.elf
machine.elf
tp.elf
storetp.elf
storetp-lemmas.elf
statsem.elf
weaken.elf
inversion-pres.elf
preservation-lemmas.elf
preservation.elf
inversion-prog.elf
progress-lemmas.elf
progress.elf
safety.elf