diff options
| author | Pierre-Marie Pédrot | 2019-04-24 15:42:45 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-05-10 12:53:09 +0200 |
| commit | 4785156d31eb513b6e7fcb8dbab1c219da83612b (patch) | |
| tree | c16e67be2d7d6672bb34221c99b00753876fd974 /doc/plugin_tutorial/tuto2/_CoqProject | |
| parent | f913913a6a1b1e01d154d0c9af3b3807459b0b9f (diff) | |
Cleanup of Logic.convert_hyp.
Diffstat (limited to 'doc/plugin_tutorial/tuto2/_CoqProject')
0 files changed, 0 insertions, 0 deletions