diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-03-06 16:12:28 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-03-07 17:31:46 +0000 |
commit | 66c523bcac8b64e202baa084bf24f5b57c61fcd6 (patch) | |
tree | b3772186b0829ff27c76c05ae1bec44173758c01 /proofs/evar_refiner.ml | |
parent | 144517d764f11b8b79e8f7adfeca0d075dd4ac19 (diff) |
[stdlib] Do not use “Require” inside sections
Diffstat (limited to 'proofs/evar_refiner.ml')
0 files changed, 0 insertions, 0 deletions