diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2013-12-02 15:09:00 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2013-12-04 14:14:33 +0100 |
| commit | 3c199b86ddf919d79ad79eb7d69f4b6f81bb73ab (patch) | |
| tree | 495418c4d20844e5001254c7169e1c158fdce3bc /tactics/tactics.ml | |
| parent | 6d08c015517b59e68507d2caf72a11734293d613 (diff) | |
Fix Admitted.
Commit "The commands that initiate proofs…" was a bit hasty in its treatment of Admitted (in an attempt of making things simple, I actually required the proof to be completed for Admitted to go through…).
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions