diff options
| author | Pierre-Marie Pédrot | 2019-04-29 16:35:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-04-29 16:35:05 +0200 |
| commit | 2ad60e808052d163ca84094131b453f2bccc3143 (patch) | |
| tree | ed399efab67392b2ebb88b6a22701186d1dbd9be /dev | |
| parent | 8ca2f91c5594c88abeab764d5c0f04ce16930abb (diff) | |
| parent | b9c83781160edebc8a838b34e922578e709e2c66 (diff) | |
Merge PR #9775: inferCumulativity: shortcut for all-Invariant inductives
Reviewed-by: ppedrot
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions