diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2015-12-17 13:30:50 +0100 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2015-12-17 13:56:14 +0100 |
| commit | f24543a02db80e2c4ab3065564fabb9b7d485a2f (patch) | |
| tree | 84cb3195743ae51d7bfe205e266373250c9e4616 /theories/Logic | |
| parent | d2f0997b7fddf3aa2f738e016d41663bf6595f61 (diff) | |
ALPHA-CONVERSION: in the "Reduction" module: clos_fconv --> clos_gen_conv
Diffstat (limited to 'theories/Logic')
0 files changed, 0 insertions, 0 deletions