diff options
| author | Hugo Herbelin | 2014-11-09 13:27:19 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-11-22 19:21:05 +0100 |
| commit | 2224819115ef9eb655e516a590f046bf1c30a6ea (patch) | |
| tree | 72182c946ae8426331411d82fee885144c6ac8ae /dev/base_include | |
| parent | d9681fb94a3e04a618e58cd09df9cee929170edc (diff) | |
New simplification of code for generalizing hypotheses in destruct.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions