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