diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2013-11-27 18:56:22 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2013-12-04 14:14:33 +0100 |
| commit | 6d08c015517b59e68507d2caf72a11734293d613 (patch) | |
| tree | 164ccaddf3c9896bc540660357f1a4dbe7d47f55 /toplevel | |
| parent | f1a2c15b7a7d7edfd4b4b379ed0bde8b1f5deb7b (diff) | |
Proof_global: fix start_proof comment after the preceding commits.
Diffstat (limited to 'toplevel')
0 files changed, 0 insertions, 0 deletions