
arith/sources.cfg,0

arith/test.cfg,0

ccc/sources.cfg,0

ccc/test.cfg,0

church-rosser/sources.cfg,0

church-rosser/test.cfg,0

cut-elim/sources.cfg,0

cut-elim/test.cfg,0

fol/sources.cfg,0

fol/test.cfg,0

guide/sources.cfg,0

guide/test.cfg,0

lp-horn/sources.cfg,0

lp-horn/test.cfg,0

lp/sources.cfg,0

lp/test.cfg,0

mini-ml/sources.cfg,0

mini-ml/test.cfg,0

polylam/sources.cfg,0

polylam/test.cfg,0

prop-calc/sources.cfg,0

prop-calc/test.cfg,0

units/sources.cfg,0

units/test.cfg,0

arith/arith.elf,0

ccc/abs-env.elf,0

ccc/catlem.elf,0

ccc/ccc.elf,0

ccc/conc.elf,0

ccc/cong.elf,0

ccc/eqpres1.elf,0

ccc/eqpres2.elf,0

ccc/inv1.elf,0

ccc/inv2.elf,0

ccc/lambda.elf,0

ccc/refl.elf,0

ccc/subext.elf,0

church-rosser/equiv.elf,0

church-rosser/lam.elf,0

church-rosser/ord-cr.elf,0

church-rosser/ord-lemmas.elf,0

church-rosser/ord-red.elf,0

church-rosser/par-cr.elf,0

church-rosser/par-lemmas.elf,0

church-rosser/par-red.elf,0

cut-elim/cl-admit.elf,0

cut-elim/cl-cut.elf,0

cut-elim/cl-elim.elf,0

cut-elim/cl.elf,0

cut-elim/formulas.elf,0

cut-elim/int-admit.elf,0

cut-elim/int-cut.elf,0

cut-elim/int-elim.elf,0

cut-elim/int.elf,0

fol/fol.elf,0

guide/lam.elf,0

guide/lamv.elf,0

guide/lists.elf,0

guide/nd.elf,0

lp-horn/canon.elf,0

lp-horn/conv.elf,0

lp-horn/iscan.elf,0

lp-horn/natded.elf,0

lp-horn/uni-can.elf,0

lp-horn/uni-complete.elf,0

lp-horn/uni-sound.elf,0

lp-horn/uniform.elf,0

lp/canon.elf,0

lp/cont.elf,0

lp/conv.elf,0

lp/examples.elf,0

lp/fohh-formulas.elf,0

lp/fohh.elf,0

lp/iscan.elf,0

lp/natded.elf,0

lp/res-complete.elf,0

lp/res-sound.elf,0

lp/resolution.elf,0

lp/uni-complete.elf,0

lp/uni-sound.elf,0

lp/uniform.elf,0

mini-ml/closed.elf,0

mini-ml/eval.elf,0

mini-ml/eval1.elf,0

mini-ml/eval2.elf,0

mini-ml/mini-ml.elf,0

mini-ml/reduce.elf,0

mini-ml/tp-preserve.elf,0

mini-ml/tp.elf,0

mini-ml/tpinf.elf,0

mini-ml/val-sound.elf,0

mini-ml/value.elf,0

polylam/polylam.elf,0

prop-calc/equiv.elf,0

prop-calc/prop-calc.elf,0

units/constants.elf,0

units/eqtype-lemmas.elf,0

units/eqtypes.elf,0

units/equnits-alg.elf,0

units/equnits-sound.elf,0

units/equnits.elf,0

units/eval.elf,0

units/language.elf,0

units/number.elf,0

units/tp-complete.elf,0

units/tp-inf.elf,0

units/tp-preserve.elf,0

units/tp-rules.elf,0

units/tp-sound.elf,0

units/types.elf,0

units/units.elf,0

units/value.elf,0

ccc/examples.quy,0

church-rosser/examples.quy,0

cut-elim/examples.quy,0

lp-horn/examples.quy,0

lp/examples.quy,0

mini-ml/examples.quy,0

mini-ml/examples1.quy,0

mini-ml/examples2.quy,0

mini-ml/examples3.quy,0

polylam/examples.quy,0

prop-calc/examples.quy,0

units/examples.quy,0

arith/arith.thm,0

ccc/conc.thm,0

church-rosser/cr.thm,0

cut-elim/cl.thm,0

cut-elim/int.thm,0

fol/fol.thm,0

lp-horn/uni-can.thm,0

lp-horn/uni-complete.thm,0

lp-horn/uni-sound.thm,0

mini-ml/reduce.thm,0

mini-ml/schema.thm,0

mini-ml/theorems.thm,0

mini-ml/tp-preserve.thm,0

mini-ml/val-sound.thm,0

prop-calc/equiv.thm,0

compile/cls/sources.cfg,0

compile/cls/test.cfg,0

compile/cpm/sources.cfg,0

compile/cpm/test.cfg,0

compile/cps/sources.cfg,0

compile/cps/test.cfg,0

compile/cxm/sources.cfg,0

compile/cxm/test.cfg,0

compile/debruijn/sources.cfg,0

compile/debruijn/test.cfg,0

compile/debruijn1/sources.cfg,0

compile/debruijn1/test.cfg,0

compile/cls/cls-complete.elf,0

compile/cls/cls-sound.elf,0

compile/cls/cls.elf,0

compile/cls/compute.elf,0

compile/cls/debruijn.elf,0

compile/cls/feval.elf,0

compile/cls/mini-ml.elf,0

compile/cls/trans.elf,0

compile/cls/trans2.elf,0

compile/cpm/ceval-complete.elf,0

compile/cpm/ceval-sound.elf,0

compile/cpm/ceval.elf,0

compile/cpm/cpm.elf,0

compile/cpm/evalv.elf,0

compile/cpm/mini-mlv.elf,0

compile/cpm/proof-equiv.elf,0

compile/cpm/theorems.elf,0

compile/cps/cps-eval.elf,0

compile/cps/cps.elf,0

compile/cps/mini-ml.elf,0

compile/cps/ml-cps.elf,0

compile/cxm/evalv.elf,0

compile/cxm/mini-mlv.elf,0

compile/cxm/xeval.elf,0

compile/debruijn/debruijn.elf,0

compile/debruijn/eval.elf,0

compile/debruijn/feval.elf,0

compile/debruijn/map-eval.elf,0

compile/debruijn/mini-ml.elf,0

compile/debruijn/trans.elf,0

compile/debruijn/val-lemmas.elf,0

compile/debruijn/value.elf,0

compile/debruijn1/debruijn.elf,0

compile/debruijn1/eval.elf,0

compile/debruijn1/feval.elf,0

compile/debruijn1/map-eval.elf,0

compile/debruijn1/mini-ml.elf,0

compile/debruijn1/trans.elf,0

compile/cls/examples.quy,0

compile/cls/slow.quy,0

compile/cpm/examples.quy,0

compile/cpm/slow.quy,0

compile/cps/examples.quy,0

compile/cxm/examples.quy,0

compile/debruijn/examples.quy,0

compile/debruijn1/examples.quy,0

compile/cpm/ceval-complete.thm,0

compile/cpm/proof-equiv.thm,0

compile/cpm/theorems.thm,0
