author | adam <adam@megacz.com> | |
Tue, 2 Oct 2007 12:33:10 +0000 (12:33 +0000) | ||
committer | adam <adam@megacz.com> | |
Tue, 2 Oct 2007 12:33:10 +0000 (12:33 +0000) | ||
commit | ad8905d391e4e2015b6525a81a3b5e1ad607439e | |
tree | a1fd14e9adc7a740cca81686b9f23d50d97177df | tree | snapshot |
parent | 7439e43c33a10817e19e7a5f26435d2097dc262d | commit | diff |
Computation/Eval.v | [moved from Recursion/Eval.v with 89% similarity] | diff | blob | history |
Computation/Monad.v | [moved from Recursion/Monad.v with 100% similarity] | blob | history |
Computation/Tactics.v | [moved from Recursion/Tactics.v with 96% similarity] | diff | blob | history |
Computation/Termination.v | [moved from Recursion/Termination.v with 99% similarity] | diff | blob | history |
Makefile | diff | blob | history |