~jana/intcomp-2013

• base.elf
• coerce.elf
• consistency.elf
• elab-arr.elf
• elab-sect.elf
• elab-type-soundness.elf
• elab-union.elf
• elab.elf
• eval-contexts.elf
• icfp02-dunfield-supp.pdf
• is-value.elf
• is-valuetm.elf
• README
• sources.cfg
• step-eval-context.elf
• step.elf
• steptm.elf
• sub-refl.elf
• sub-trans.elf
• summary.elf
• syntax.elf
• tm-safety.elf
• typeof-elab.elf
• typeof.elf
• typeof+sub.elf
• typeoftm.elf
• value-mono.elf