diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-04-11 00:52:06 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-11 00:52:06 +0200 |
commit | 351b4e0d2d7fa9b1ed853e9d834993ee24a1a130 (patch) | |
tree | 6d3dc0ca400c9d51a9b13bc597903c2d4f8d25db /theories/ZArith/Zmax.v | |
parent | 835be3a05e28eb6e26f703a034f22b2c6c61acaa (diff) | |
parent | 4bce91623c2857f843129e927fdadb30a9c87a7e (diff) |
Merge PR#537: Efficient side-effect abstraction
Diffstat (limited to 'theories/ZArith/Zmax.v')
0 files changed, 0 insertions, 0 deletions