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