diff options
| author | Vincent Laporte | 2018-11-15 09:21:17 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-11-15 09:21:17 +0000 |
| commit | b6f65c72cce697d7acc11f731983a8c18f497d10 (patch) | |
| tree | d7d917212b94e4ef09fb40ac66c0219b03a89d76 /doc/plugin_tutorial/tuto1/src/simple_check.ml | |
| parent | 9896b66fabdb1dacafb71887b85facefa91845e7 (diff) | |
| parent | 0d2594da361eb939a14e4917852389a19e1e2ba0 (diff) | |
Merge PR #8955: [ssr] "case/elim: p" don't resolve TC in "p"
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.ml')
0 files changed, 0 insertions, 0 deletions