2007-10-28 | adam | add example showing why we cannot simply extract the... | tree | commitdiff |
2007-10-28 | adam | change Terminates to (exists x, TerminatesWith x) and... | tree | commitdiff |
2007-10-02 | adam | add Computation/Equivalence.v | tree | commitdiff |
2007-10-02 | adam | rename Recursion | tree | commitdiff |