diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-11-22 17:51:43 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-11-22 18:31:19 +0100 |
| commit | 67b605dee0e6baee10e31805409d8a33ff71e43a (patch) | |
| tree | e0b0618d8ee29b7c5c22754a04e668c82bd0b5ef /tactics/tactics.ml | |
| parent | 221a2ee32545e22f8002b0903b215d8c890b2125 (diff) | |
Add test-suite file for dependent rewriting example by Vadim Zaliva and
Daniel Schepler.
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions