diff options
| author | Hugo Herbelin | 2020-10-22 16:27:41 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-21 16:45:21 +0100 |
| commit | c213d571f7628078c087b845d0142e2e88aac9d6 (patch) | |
| tree | f0500d1fd9f155a89f382ad1916032a9f06c4015 /pretyping/reductionops.ml | |
| parent | 3e78772edb175bf0473acb70136c640365678594 (diff) | |
More documentation about the situation ?ev := C[?ev'] in solve_simple_eqn.
Diffstat (limited to 'pretyping/reductionops.ml')
0 files changed, 0 insertions, 0 deletions