add example showing why we cannot simply extract the witness from TerminatesWith...
[coinductive-monad.git] / Makefile
2007-10-02 adamadd Computation/Equivalence.v
2007-10-02 adamrename Recursion
2007-10-02 adamadd missing Makefile