diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-01-01 23:47:59 +0100 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-01-01 23:47:59 +0100 |
| commit | d5b1807e65f7ea29d435c3f894aa551370c5989f (patch) | |
| tree | 48abae07dd6bb1087bc2cdd4a29d74a7419df350 /tactics/dn.ml | |
| parent | 53d109a21d97d073bc6a1f36a6c39b940a55eb69 (diff) | |
Fix typos.
Diffstat (limited to 'tactics/dn.ml')
0 files changed, 0 insertions, 0 deletions