diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-07 13:19:16 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-07 13:19:16 -0500 |
| commit | 83ecdb1befe209f91e5b49cdd0ff0b5dfa6b7cc2 (patch) | |
| tree | 1441897697130e48ac6dbaa15582d715c81615f6 /src/Util/Tactics.v | |
| parent | 7bcfbed98451bd8de658db6f843afca0782536f8 (diff) | |
Add tuple hd and tl
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions