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 /tools | |
| parent | 0793b47d185371cbb389fe45be0691cc984c198c (diff) | |
| parent | 080c5fd2a6cbf390172e086b594b0bd649aa118b (diff) | |
Merge PR #7375: Implement to_constr with nf_evars_and_universes_opt_subst
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions