better comments/documentation
darcs-hash:20071028224311-5007d-c6cdcdb8a2938b6874581fabb8b6471f086859ed.gz
- [DH] src/Computation/Equivalence.v
- [DH] src/Computation/Eval.v
- [DH] src/Computation/Monad.v
- [DH] src/Computation/Tactics.v
- [DH] src/Computation/Termination.v