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

absurdum.elf
nat.elf
nat-lemmas.thm
syntax.elf
loc.elf
loc-lemmas.thm
exp.elf
val.elf
store.elf
store-lemmas.thm
dynsem.elf
dynsem-lemmas.thm
machine.elf
tp.elf
storetp.elf
storetp-lemmas.thm
statsem.elf
weaken.thm