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