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 /kernel/cemitcodes.ml | |
parent | f1a2c15b7a7d7edfd4b4b379ed0bde8b1f5deb7b (diff) |
Proof_global: fix start_proof comment after the preceding commits.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions