diff options
| author | Pierre-Marie Pédrot | 2018-09-10 15:41:25 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-09-10 15:41:25 +0200 |
| commit | 2e931a4537aadfa4c15359c7b89ce4cb0291dad3 (patch) | |
| tree | 5e8df080a85734db4d3fd63e72acc5910200d6bb /dev/include | |
| parent | 90a0357108769355025e8f15a6fbf6766aed8d44 (diff) | |
| parent | a488da64eb852554e0f1e60e2c94ea8cfc525dd7 (diff) | |
Merge PR #7743: Bound proof-search in default program obligation tactic.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions