%
% Twelf configuration file for "Elaborating Intersection and Union Types"
%   (ICFP submission #2).
%
% Author: Joshua Dunfield
%
base.elf
syntax.elf
is-value.elf
eval-contexts.elf
is-valuetm.elf

typeof.elf
typeof+sub.elf
sub-refl.elf
sub-trans.elf

coerce.elf

elab.elf
typeof-elab.elf

typeoftm.elf

elab-type-soundness.elf

step.elf
step-eval-context.elf

steptm.elf
tm-safety.elf

elab-union.elf
elab-sect.elf
elab-arr.elf
value-mono.elf

consistency.elf

summary.elf