diff options
| author | Jason Gross | 2018-03-07 11:17:49 -0500 |
|---|---|---|
| committer | Jason Gross | 2018-03-07 11:17:49 -0500 |
| commit | 6faef9c38104c09ce1a6e7db2589a746484ecfb4 (patch) | |
| tree | e16299904b5c8ef5947042095e2ad5d8bf6579a9 /kernel/inductive.ml | |
| parent | 144517d764f11b8b79e8f7adfeca0d075dd4ac19 (diff) | |
Add empty compat file for Coq 8.8
This closes #6598
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions