diff options
| author | Anton Trunov | 2020-06-20 09:36:18 +0300 |
|---|---|---|
| committer | Anton Trunov | 2020-06-20 09:36:18 +0300 |
| commit | 43dba0d74b6cc39eea149c2908291e9108d21e71 (patch) | |
| tree | a0f7708f788e1de208954c47aa45801e67b3ceeb /doc/sphinx/using | |
| parent | 6cdccdeed882c072c84567aea085afdbb0401393 (diff) | |
| parent | 0df0e9cc7d5db550136c1b4d31834cd8e1d8633e (diff) | |
Merge PR #12407: Fix #12406: fix Coq type error in dependent induction's Ltac
Reviewed-by: anton-trunov
Diffstat (limited to 'doc/sphinx/using')
0 files changed, 0 insertions, 0 deletions