diff options
| author | coqbot-app[bot] | 2021-02-25 21:33:52 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-25 21:33:52 +0000 |
| commit | 7b2cab92eb2d76f4768a2b0ff6d8ccf12102f101 (patch) | |
| tree | aa11a82739c65d6b54d220485d4131e561ee0f91 /kernel/typeops.ml | |
| parent | 24e94b3dac66510e6d57b9f55f9a4e3e84fd6e54 (diff) | |
| parent | d866ed978ece3b80364dfcf67ee801a556462f29 (diff) | |
Merge PR #13393: [proof using] Remove duplicate code, refactor.
Reviewed-by: gares
Ack-by: SkySkimmer
Diffstat (limited to 'kernel/typeops.ml')
0 files changed, 0 insertions, 0 deletions