diff options
| author | Pierre-Marie Pédrot | 2018-12-07 15:59:38 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-12-07 15:59:38 +0100 |
| commit | fa20a54d9fbe0f3872614a592fcef7ef56b05e49 (patch) | |
| tree | 20ba50d09fe977a7409aa3bd0507762b24d9ba9b /engine/eConstr.ml | |
| parent | e5909ae2043fedf57b64005ba57aedd209e6d42d (diff) | |
| parent | e7d1d0461c51de9ae955bd0ce2a0d977cf7a437a (diff) | |
Merge PR #8811: EConstr-aware functions to produce kernel entries
Diffstat (limited to 'engine/eConstr.ml')
0 files changed, 0 insertions, 0 deletions