diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-30 01:18:24 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-30 01:21:02 +0200 |
commit | 2bbf1305a080667d8547c44b2684010aba3d8d45 (patch) | |
tree | 42d2575fa01cc6f13eda2fb08ab26967f7834c04 /plugins | |
parent | 09d13ea251ba9f271fd698edd0d6560b88996a65 (diff) |
Simplify evarconv thanks to new delta status of projections,
using whd_state_gen to handle unfolding. Add an isProj/destProj
in term. Use the proper environment everywhere in unification.ml.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions