_CoqProject

-R src CrossCrypto
src/FrapTactics.v
src/ListUtil.v
src/Loops.v
src/MapUtil.v
src/Minimalistic.v
src/NatUtil.v
src/RatUtil.v
src/RewriteUtil.v
src/Util.v
src/WithItreeWIP.v
src/fmap.v
src/grw.v
src/grw_cc.v
src/natnat.v
src/fmap/extensional.v
src/fmap/list_of_pairs.v
src/fmap/list_of_pairs_correct.v