a79914b Work on intermediate lemma for evaluation
Work on intermediate lemma for evaluation
~ymherklotz pushed to ~ymherklotz/vericert git
3887522 Prove abstr_fold_correct top-down
Prove abstr_fold_correct top-down