diff options
author | 2016-05-08 18:59:55 +0200 | |
---|---|---|
committer | 2016-05-08 19:59:03 +0200 | |
commit | f461e7657cab9917c5b405427ddba3d56f197efb (patch) | |
tree | 467ac699f78d0360b05174238aeb1177da892503 /theories/Numbers | |
parent | 9fe0471ef0127e9301d0450aacaeb1690abb82ad (diff) |
Removing dead code and unused opens.
Diffstat (limited to 'theories/Numbers')
0 files changed, 0 insertions, 0 deletions