_CoqProject

-R . nbe

./common/list.v

./systemt/intensional/syntax.v
./systemt/intensional/semantic.v
./systemt/intensional/totality.v
./systemt/extensional/syntax.v
./systemt/extensional/semantic.v
./systemt/extensional/nbe.v
./systemt/extensional/completeness.v
./systemt/extensional/soundness.v
./systemt/_.v

./ptt/syntax/def.v
./ptt/syntax/def_rule_concise.v
./ptt/syntax/def_rule_full.v
./ptt/syntax/prop_rule_equiv.v