diff options
| author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-30 14:33:32 +0100 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-30 14:33:32 +0100 |
| commit | 702476dccbcad00bdbcaf2d0064384bde21d4d59 (patch) | |
| tree | f209582590720c666e2a947d4c40dc8666a7f7ff /src/extraction | |
| parent | 6c02c60ee6c72bda1be390a60cae775c255d5dd6 (diff) | |
| download | smtcoq-702476dccbcad00bdbcaf2d0064384bde21d4d59.tar.gz smtcoq-702476dccbcad00bdbcaf2d0064384bde21d4d59.zip | |
gestion des symboles de fonction n-aires
Diffstat (limited to 'src/extraction')
0 files changed, 0 insertions, 0 deletions