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/syntax | |
| 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/syntax')
0 files changed, 0 insertions, 0 deletions