diff options
| author | Pierre-Marie Pédrot | 2020-03-31 12:56:34 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-03-31 12:56:34 +0200 |
| commit | d03529ab8fec0cad5705b5f775e43ef26c0dedcb (patch) | |
| tree | 65bd33deead3007350bbd93a662ff88017024a99 /vernac/comDefinition.ml | |
| parent | 35b4841eccc645146b62e99edb939fcf4bfcc76d (diff) | |
| parent | 60ec0e0a67e60c52af7e7ef34a2826ef7fb61a26 (diff) | |
Merge PR #11684: Remove spurious anomalies in kernel reduction
Reviewed-by: ppedrot
Diffstat (limited to 'vernac/comDefinition.ml')
0 files changed, 0 insertions, 0 deletions