diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-05-03 16:31:10 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-05-03 16:31:10 +0200 |
commit | 892fe9fc259bb812d10dfb5af40dec02412ff45e (patch) | |
tree | 4adb1c727e5f0126ce1186fdb21b4148a293ba19 /plugins/ltac | |
parent | 0793b47d185371cbb389fe45be0691cc984c198c (diff) | |
parent | 080c5fd2a6cbf390172e086b594b0bd649aa118b (diff) |
Merge PR #7375: Implement to_constr with nf_evars_and_universes_opt_subst
Diffstat (limited to 'plugins/ltac')
0 files changed, 0 insertions, 0 deletions