diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-12 17:10:24 +0200 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-08-24 17:35:04 +0200 |
| commit | f5f4bb97634f4fac3dec766db27af994e745d749 (patch) | |
| tree | b6d512390b4b24b7520d5c5456c0403969017925 /proofs/logic.ml | |
| parent | 601112e9d6f4a4095e1ba6ba20ad46b60dd9bd74 (diff) | |
CLEANUP: removing superfluous (module) qualifiers
Diffstat (limited to 'proofs/logic.ml')
0 files changed, 0 insertions, 0 deletions