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