diff options
| author | Maxime Dénès | 2016-09-05 17:52:38 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-09-05 17:53:09 +0200 |
| commit | 53b2acb9befe13c0383b923d09a0d5a6c416449e (patch) | |
| tree | f76492f82ac3e1656fa086209b6790f971f47bd1 /interp/implicit_quantifiers.ml | |
| parent | 47a2da7326ed975039f9e94780aeb9b1079f4854 (diff) | |
Test file for #5065 - Anomaly: Not a proof by induction
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions