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