diff options
| author | Brian Campbell | 2018-07-16 18:02:09 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-16 18:29:45 +0100 |
| commit | 0effbdd2468859924363fe00f29c0afcb727f065 (patch) | |
| tree | 60d2589168a5235aef9df07cd55d28846123b5f6 /src/test/hello4.s | |
| parent | 786ff327752c7fd26550d96ed2ba328f0facdb4a (diff) | |
Coq: we also unfold length
Diffstat (limited to 'src/test/hello4.s')
0 files changed, 0 insertions, 0 deletions