diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2002-06-12 11:09:38 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2002-06-12 11:09:38 +0000 |
| commit | 5306847b6d98e4ce6c6f5100577bf6ba4347b57d (patch) | |
| tree | 38764120522aac8f7dbbaa006ddeeeda8c00ec94 /CHANGES | |
| parent | ce2ceb08d8de338876e34730c061c9d02548c4be (diff) | |
Nested proofs in Coq are well backtracked! I used the new field
'nestedundos created by David. Will change the CHANGE file
accordingly.
Diffstat (limited to 'CHANGES')
0 files changed, 0 insertions, 0 deletions