_CoqProject

-R . SquiggleEq
./eq_rel.v
./varImplDummyPair.v
./tactics.v
./bin_rels.v
./export.v
./alphaeq.v
./substitution.v
./terms.v
./terms2.v
./termsDB.v
./varImplZ.v
./varImplN.v
./varInterface.v
./varImplPeano.v
./universe.v
./LibTactics.v
./UsefulTypes.v
./AssociationList.v
./list.v
./ExtLibMisc.v
./wftermSet.v