comparison src/DataStruct.v @ 567:ec0ce5129fc4

Switch to new approach to supporting newer Coq versions while still building with patched Coq 8.4
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Jan 2019 15:00:32 -0500
parents ed829eaa91b2
children 81d63d9c1cc5
comparison
equal deleted inserted replaced
566:1a231194d164 567:ec0ce5129fc4