diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-10-11 16:06:30 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-10-11 16:06:30 +0200 |
| commit | 6d55121c90ec50319a3de6a6907726fbcdc2f835 (patch) | |
| tree | 95733168d350fd3c014c1eb7f7792c6bc3d431f4 /proofs/refine.ml | |
| parent | 009718d9d0130a967261ae5d2484985522fc2f7c (diff) | |
| parent | b247761476c4b36f0945c19c23c171ea57701178 (diff) | |
Merge remote-tracking branch 'github/bug4863' into v8.5
Diffstat (limited to 'proofs/refine.ml')
0 files changed, 0 insertions, 0 deletions