diff options
| author | Brian Campbell | 2018-12-31 11:01:54 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-12-31 11:01:54 +0000 |
| commit | dccff374cc4ff0d2ac9737a1abd1907118af6456 (patch) | |
| tree | 5c264adb368663fa8affe9e0995fccfd352d55a1 /doc | |
| parent | 269fdb0ed57814f3fbb41b206a67a3cc7bafc810 (diff) | |
Coq: move function clause merging to keep measure argument intact
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions