diff options
| author | Pierre-Marie Pédrot | 2017-09-14 21:36:47 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-14 23:42:07 +0200 |
| commit | dac0b95c77dc316a2ef65bbc3901ed7c9366e982 (patch) | |
| tree | 535e694f54a1ea16cf2ee32a50002c07edfbc42b /tests/example2.v | |
| parent | 97bcc97fab0e9c0967c7f723e24ba0f238bd94ff (diff) | |
Abstracting away the type of arities and ML tactics.
Diffstat (limited to 'tests/example2.v')
0 files changed, 0 insertions, 0 deletions