diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2013-12-21 13:50:11 -0500 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2013-12-21 13:50:11 -0500 |
| commit | 66e426a93fc00682128a0441d6dda3425e0be252 (patch) | |
| tree | 87a5994466b91c7cf027aa3a68a9fd524ab0be6a /interp/notation_ops.mli | |
| parent | 8ba7983f467a6e235ba88e10be90381c9429cad2 (diff) | |
Test case for the buggy commutative cut subterm rule.
Diffstat (limited to 'interp/notation_ops.mli')
0 files changed, 0 insertions, 0 deletions