diff options
| author | Enrico Tassi | 2015-12-09 15:14:10 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-12-09 15:14:33 +0100 |
| commit | 38e70af82d33de8e977b9b7e347ff501fcd5c2d8 (patch) | |
| tree | 0a3016cd374b150c63590820699fdb399fed3152 /doc | |
| parent | 9d45d45f3a8718581a001af4576ca87feb741073 (diff) | |
Print Assumptions: improve detection of case on an axiom of False
The name in the return clause has no semantic meaning, we must not
look at it.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions