add coqdoc calls to Makefile darcs-hash:20071028224257-5007d-cdad392e26476792a22948a42fd9082fac15c502.gz
add Computation/Equivalence.v darcs-hash:20071002153845-5007d-0ad5426ab748435060fa542572e06b2147b3d938.gz
rename Recursion darcs-hash:20071002123310-5007d-2810fa6c7b014f9bebe5f7bb6730e5c7382fdff4.gz
add missing Makefile darcs-hash:20071002212810-5007d-58e9514de95ecf90e0fbd05fa041d8bb06fc19a2.gz