diff options
| author | Pierre Courtieu | 2002-06-12 11:09:38 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2002-06-12 11:09:38 +0000 |
| commit | 5306847b6d98e4ce6c6f5100577bf6ba4347b57d (patch) | |
| tree | 38764120522aac8f7dbbaa006ddeeeda8c00ec94 /html/index.php | |
| 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 'html/index.php')
0 files changed, 0 insertions, 0 deletions