-
Heiko Becker authored
Move around some definitions for dependency cleanup and prove small lemma to simplify bound proofs in ErrorValidation.v
db5ae1e7
Move around some definitions for dependency cleanup and prove small lemma to simplify bound proofs in ErrorValidation.v