diff options
| author | Hugo Herbelin | 2015-05-06 18:54:18 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-05-06 18:54:18 +0200 |
| commit | 32a9a4e3656e581af41c26f48f63ed1daec331d8 (patch) | |
| tree | 8d6418bf4ed13360fd737983a93482ee21c5b63f /plugins | |
| parent | 5a0d3395cd972393eaa7859f47a738cc99ea55c6 (diff) | |
Fixing treatment of recursive equations damaged by 857e82b2ca0d1.
Improving treatment of recursive equations compared to 8.4 (see test-suite).
Experimenting not to unfold local defs ever in subst.
(+ Slight simplification in checking reflexive equalities only once).
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions