diff options
| author | Hugo Herbelin | 2014-09-24 14:36:53 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-09-24 15:04:30 +0200 |
| commit | e24a118644d77e86ace11a34230711b204025c3b (patch) | |
| tree | a5762a0628cb3fbb515046fb177937d8a36add38 /kernel/nativecode.ml | |
| parent | 507732b8541dea205e4e0288f81ea0eb58a7c253 (diff) | |
Added support for interpreting hyp lists in tactic notations.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions