author | adam <adam@megacz.com> | |
Sun, 28 Oct 2007 22:43:11 +0000 (22:43 +0000) | ||
committer | adam <adam@megacz.com> | |
Sun, 28 Oct 2007 22:43:11 +0000 (22:43 +0000) |
src/Computation/Equivalence.v | [moved from Computation/Equivalence.v with 86% similarity] | patch | blob | history |
src/Computation/Eval.v | [moved from Computation/Eval.v with 73% similarity] | patch | blob | history |
src/Computation/Monad.v | [moved from Computation/Monad.v with 79% similarity] | patch | blob | history |
src/Computation/Tactics.v | [moved from Computation/Tactics.v with 85% similarity] | patch | blob | history |
src/Computation/Termination.v | [moved from Computation/Termination.v with 86% similarity] | patch | blob | history |