diff options
| author | Jérémie Koenig <jeremie.koenig@gmail.com> | 2018-01-03 04:15:57 -0500 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-01-03 10:15:57 +0100 |
| commit | 87558f62b29ee94392c3955434aa2680aaaeffa5 (patch) | |
| tree | 7c67724e85e406f161e0d1fcf2bf85752fc0ddf0 /exportclight | |
| parent | 488e6dd710cc799e7adcc124d161f29285185c27 (diff) | |
| download | compcert-kvx-87558f62b29ee94392c3955434aa2680aaaeffa5.tar.gz compcert-kvx-87558f62b29ee94392c3955434aa2680aaaeffa5.zip | |
ValueAnalysis: remove duplicate list_forall2_in_left (#212)
The lemma is now in lib/Coqlib.v.
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions