diff options
| author | Pierre-Marie Pédrot | 2017-08-02 17:31:13 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-02 17:51:23 +0200 |
| commit | d755c546a5c260232fd30971bd604b078d0afc18 (patch) | |
| tree | 91c6558476ef24bb8e0176cd34c5f4310193095d /src/tac2stdlib.mli | |
| parent | dbbefa2ed1f858c1a6de77672e3e1733ef4c28bf (diff) | |
Properly implementing the notation to easily access hypotheses.
Diffstat (limited to 'src/tac2stdlib.mli')
0 files changed, 0 insertions, 0 deletions