diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-17 01:11:52 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-17 01:11:52 +0200 |
commit | d34e1eed232c84590ddb80d70db9f7f7cf13584a (patch) | |
tree | 75782f47ebe381d84ea66409569167f9ba229c78 /proofs/clenvtac.ml | |
parent | c5ecebf6fefbaa673dda506175a2aa4a69d79807 (diff) |
Update test-suite files after last commit. Add a file for rewrite_strat
examples.
Diffstat (limited to 'proofs/clenvtac.ml')
0 files changed, 0 insertions, 0 deletions