diff options
| author | Pierre-Marie Pédrot | 2017-05-16 18:14:40 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-05-19 15:17:31 +0200 |
| commit | 6a4d15c6ce3994509085ef575cc2f242925af15a (patch) | |
| tree | 6b6a1ad50b3562c0cf21f98ec7ea934d1bbc95a9 /src/tac2stdlib.ml | |
| parent | df1c50b36f4927fdf64a3ed99a4a077f5175ac5e (diff) | |
Extending the Coq API in Ltac2.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions