a79914b Work on intermediate lemma for evaluation

~ymherklotz pushed to ~ymherklotz/vericert git

3887522 Prove abstr_fold_correct top-down

~ymherklotz pushed to ~ymherklotz/vericert git