diff options
| author | Pierre-Marie Pédrot | 2017-08-18 14:40:08 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-18 16:24:35 +0200 |
| commit | 62ea702ac88c2762a6587b7b7c95f8f917cedd1c (patch) | |
| tree | 739a06f38609bcf60b08fc7b2eb7c120f04510bb /src/tac2stdlib.ml | |
| parent | 900841d0bb4700fb2a3662457e7c4efea34a97e4 (diff) | |
Notations for a few reduction functions.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions