diff options
| author | Pierre Courtieu | 2014-07-31 13:56:02 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2014-07-31 13:56:02 +0200 |
| commit | dc3d54243ee92c2e5164d535ef7d230bf9b5bf01 (patch) | |
| tree | d32cdef4d4d077628cc75a640b4348d5575c2700 /kernel/type_errors.mli | |
| parent | 2b8c1b9dc688e3e6bf5c6ed77f1ad7864e1f281c (diff) | |
Adding a generalized version of fold_Equal to FMapFacts.
This commit should be refactored by Pierre L. if he thinks this should
replace the previous version of fold_Equal, for now it is a different
lemma fold_Equal2. Same for the Section addded to SetoiList, it should
maybe replace the previous one.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions