diff options
| author | Gaëtan Gilbert | 2020-02-26 14:20:24 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-03-19 15:22:16 +0100 |
| commit | 60ec0e0a67e60c52af7e7ef34a2826ef7fb61a26 (patch) | |
| tree | 98a0f63314429f42e55a3c1001ee206b974301db /vernac/comAssumption.ml | |
| parent | 918e301faa228190f885f860510f4b6c352620f5 (diff) | |
Remove spurious anomalies in kernel reduction
Diffstat (limited to 'vernac/comAssumption.ml')
0 files changed, 0 insertions, 0 deletions