diff options
| author | Brian Campbell | 2019-05-23 18:21:26 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-23 18:21:34 +0100 |
| commit | ff6a384ccb4d244231f46801e79397bab3f7011d (patch) | |
| tree | b4b2d6587e2d89b974be1dd0caacb5656733dcd3 /lib/coq | |
| parent | bb5b6a4389ab0b289ad3366322a487c18b6ba763 (diff) | |
Coq: support loops which update richly typed variables
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions