projects / coinductive-monad.git / search
| 2007-10-28 | adam | add coqdoc calls to Makefile |
commit | commitdiff | tree |
| 2007-10-28 | adam | add example showing why we cannot simply extract the... |
commit | commitdiff | tree |
| 2007-10-28 | adam | change Terminates to (exists x, TerminatesWith x) and... |
commit | commitdiff | tree |
| 2007-10-02 | adam | add Computation/Equivalence.v |
commit | commitdiff | tree |
| 2007-10-02 | adam | rename Recursion |
commit | commitdiff | tree |
| 2007-10-02 | adam | add missing Makefile |
commit | commitdiff | tree |
| 2007-06-25 | adam | checkpoint |
commit | commitdiff | tree |