diff options
| author | Hugo Herbelin | 2015-12-20 04:16:15 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-25 11:05:51 +0100 |
| commit | b508e2b745be0c38c18f2b8874adf8550bbe6d96 (patch) | |
| tree | 0a328549f514ea08b9ad4919be24342c95b57376 /kernel/cemitcodes.ml | |
| parent | df9d69f3ccf3e5600919a21112afda00b463fbc5 (diff) | |
Moving specialize to Proofview.tactic.
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions