diff options
| author | Jason Gross | 2016-06-10 19:12:49 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-04-25 15:13:25 -0400 |
| commit | 5f3d20dc53ffd0537a84c93acd761c3c69081342 (patch) | |
| tree | b82efa45c4430b08562b91cf028edef17b97fe34 /kernel/nativecode.ml | |
| parent | 11aaa1fd8230a347f1dca1a0f349ea7c7f2768c3 (diff) | |
Add transparent_abstract tactic
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions