diff options
| author | Brian Campbell | 2018-07-12 13:41:07 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-12 13:41:07 +0100 |
| commit | 4f939658df5f45026d42491b8bf78aaa44f76e7b (patch) | |
| tree | 3447daed368019f96401de77db64cb35b774f5c9 /lib/coq | |
| parent | d3c75495194f810a89d10fede3ea377074af6f53 (diff) | |
Coq: tuple matching in loops
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions