diff options
| author | Pierre-Marie Pédrot | 2017-09-01 00:27:35 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-01 00:27:35 +0200 |
| commit | 1f7a2ea0e0513620bb946c10923d38f845061afa (patch) | |
| tree | 862ba03ff2dd5ee0b55aa807062afcde0b3c9c27 /src/tac2stdlib.mli | |
| parent | 2a0a48834f0b90319e56ae9f4a172fe6855583c0 (diff) | |
Ensuring the Ltac definitions have lowercase names.
Diffstat (limited to 'src/tac2stdlib.mli')
0 files changed, 0 insertions, 0 deletions