diff options
| author | Brian Campbell | 2018-05-29 17:38:25 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | d39b91db5c37bd852fee19c2ab2e61bb02028cdb (patch) | |
| tree | 595532429e58cb88928af262a61d44e039a57409 /lib | |
| parent | d911024d83b1f70bcc99b949e6c8eeac03851911 (diff) | |
Coq: update foreach handling, correct field accesses
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions