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) | ||
commit | 1ff31872c2b89ffb4c6c6250b1d51436b6b1400f | |
tree | a431e05889c8e6e2d78bd006d8ce5e58cc761797 | tree | snapshot |
parent | bb471fbb694313a6aa61816752bd179b3af6711d | commit | diff |
src/Computation/Equivalence.v | [moved from Computation/Equivalence.v with 86% similarity] | diff | blob | history |
src/Computation/Eval.v | [moved from Computation/Eval.v with 73% similarity] | diff | blob | history |
src/Computation/Monad.v | [moved from Computation/Monad.v with 79% similarity] | diff | blob | history |
src/Computation/Tactics.v | [moved from Computation/Tactics.v with 85% similarity] | diff | blob | history |
src/Computation/Termination.v | [moved from Computation/Termination.v with 86% similarity] | diff | blob | history |