diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-01 12:56:15 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-01 12:56:15 +0200 |
| commit | 48621da27d52be4825eea271d44bbd7362011dfa (patch) | |
| tree | 886e7bc94d25e9eace924bf8b02e0d8d53aa3a4a /tactics/tactics.ml | |
| parent | f3a388baf9cf2a14a658cab77554a0802b999486 (diff) | |
| parent | dfdaf4de7870cc828b9887b8619b38f01d7e5493 (diff) | |
Merge PR#694: Fixing #5523 (missing support for complex constructions in recursive notations) (bis)
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions