diff options
| author | coqbot-app[bot] | 2020-11-29 17:27:05 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-29 17:27:05 +0000 |
| commit | db13ff6866731001ad7d3021ab7cb4b3a54cba5c (patch) | |
| tree | 499bbc6dfdddb8aa7fb831bd30a282f15a4702b5 /kernel/inductive.ml | |
| parent | ca8ee04a692e14bd90c64113ff29b7df1d5111bd (diff) | |
| parent | 54c12034bfb5fa8b1f83e14fb22f5b21398a7112 (diff) | |
Merge PR #13510: Add missing print registration for wit_nat_or_var
Reviewed-by: herbelin
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions