Make

-R coq FCT
coq/approx.v
coq/birkhoff.v
coq/cfcolor.v
coq/cfcontract.v
coq/cfmap.v
coq/cfquiz.v
coq/cfreducible.v
coq/chromogram.v
coq/coloring.v
coq/color.v
coq/combinatorial4ct.v
coq/compat.v
coq/configurations.v
coq/connect.v
coq/contract.v
coq/ctreerestrict.v
coq/ctree.v
coq/cube.v
coq/dedekind.v
coq/discharge.v
coq/discretize.v
coq/dyck.v
coq/embed.v
coq/finitize.v
coq/fourcolor.v
coq/frac.v
coq/geometry.v
coq/gridmap.v
coq/grid.v
coq/gtreerestrict.v
coq/gtree.v
coq/hubcap.v
coq/hypermap.v
coq/initctree.v
coq/initgtree.v
coq/job001to106.v
coq/job107to164.v
coq/job165to189.v
coq/job190to206.v
coq/job207to214.v
coq/job215to218.v
coq/job219to222.v
coq/job223to226.v
coq/job227to230.v
coq/job231to234.v
coq/job235to238.v
coq/job239to253.v
coq/job254to270.v
coq/job271to278.v
coq/job279to282.v
coq/job283to286.v
coq/job287to290.v
coq/job291to294.v
coq/job295to298.v
coq/job299to302.v
coq/job303to306.v
coq/job307to310.v
coq/job311to314.v
coq/job315to318.v
coq/job319to322.v
coq/job323to383.v
coq/job384to398.v
coq/job399to438.v
coq/job439to465.v
coq/job466to485.v
coq/job486to489.v
coq/job490to494.v
coq/job495to498.v
coq/job499to502.v
coq/job503to506.v
coq/job507to510.v
coq/job511to516.v
coq/job517to530.v
coq/job531to534.v
coq/job535to541.v
coq/job542to545.v
coq/job546to549.v
coq/job550to553.v
coq/job554to562.v
coq/job563to588.v
coq/job589to610.v
coq/job611to617.v
coq/job618to622.v
coq/job623to633.v
coq/jordan.v
coq/kempetree.v
coq/kempe.v
coq/matte.v
coq/oldeqtype.v
coq/oldfinset.v
coq/oldpath.v
coq/oldseq.v
coq/oldssrbool.v
coq/oldssreflect.v
coq/oldssrfun.v
coq/oldssrnat.v
coq/oldssrtest.v
coq/part.v
coq/patch.v
coq/present10.v
coq/present11.v
coq/present5.v
coq/present6.v
coq/present7.v
coq/present8.v
coq/present9.v
coq/present.v
coq/quiztree.v
coq/quiz.v
coq/realcategorical.v
coq/realmap.v
coq/realprop.v
coq/realsyntax.v
coq/real.v
coq/redpart.v
coq/reducibility.v
coq/revsnip.v
coq/sew.v
coq/snip.v
coq/task001to214.v
coq/task215to234.v
coq/task235to282.v
coq/task283to302.v
coq/task303to322.v
coq/task323to485.v
coq/task486to506.v
coq/task507to541.v
coq/task542to588.v
coq/task589to633.v
coq/unavoidability.v
coq/walkup.v
coq/znat.v