diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-13 16:33:26 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-11-13 16:33:26 +0100 |
| commit | 3aeb18bf1412a27309c39713e05eca2c27706ca8 (patch) | |
| tree | 5545c18780cc64076ba241feb7abefb18b7b2e3f /myocamlbuild.ml | |
| parent | 2fd497d380de998c4b22b9f7167eb4023e4cd576 (diff) | |
Continue fix of PMP, handling setoid_rewrite in let-bound hyps correctly.
Diffstat (limited to 'myocamlbuild.ml')
0 files changed, 0 insertions, 0 deletions