diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-12-07 22:44:43 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-12-05 10:10:43 +0100 |
commit | aa99912e9adc566a179b4972ff85a92b967fb134 (patch) | |
tree | 96a0f2264ce398bd8d6f1a86c5be1fa5aff7391f /theories/Logic | |
parent | e8c47b652a0b53f8d3f7eaa877e81910c8de55d0 (diff) |
Removing redundant versions of generalize.
Diffstat (limited to 'theories/Logic')
0 files changed, 0 insertions, 0 deletions