diff options
| author | Joachim Breitner | 2018-02-27 23:52:20 -0500 |
|---|---|---|
| committer | Joachim Breitner | 2018-02-27 23:52:20 -0500 |
| commit | 50ad71374cbf1adc172022c86dec7a0b3ee7ea2b (patch) | |
| tree | 1630881dc533693c05be7bedd9808cec88dc6fbe /kernel/cemitcodes.ml | |
| parent | e3124e098ef8170dac2b348b91757a7034bc4999 (diff) | |
Typo in the documentation of the `pattern` tactic
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions