diff options
| author | Enrico Tassi | 2018-02-14 09:06:32 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2018-03-04 18:01:24 +0100 |
| commit | f7153351bc1d4af2f402671c4937a5186ba77fc3 (patch) | |
| tree | 4d8c043cb2da56f73be9cec543427794569edb50 /kernel/cbytecodes.mli | |
| parent | f35069aec1847068ecb501244507cb5aa9fa9b81 (diff) | |
Proofview: V82.tactic option to not normalize evars
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions