diff options
| author | Guillaume Melquiond | 2021-02-17 09:53:26 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-02-17 09:53:26 +0100 |
| commit | c150f3ab8dc9d1824d88b6fb9b1da14cb544ffc7 (patch) | |
| tree | 0a423691f96c6f224e9299460db31fced71d87f6 /kernel/inductive.ml | |
| parent | 70caa6eb02c69b30e5307db02bf5c81f1a2b84dc (diff) | |
Add an entry to file critical-bugs.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions