diff options
| author | Brian Campbell | 2019-04-16 17:12:37 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-04-16 17:47:36 +0100 |
| commit | 3309f4484b819f56555065876c72eac8094538de (patch) | |
| tree | 4642993f15e065f138890a360ffaac42c1191152 /doc/usage.tex | |
| parent | 09036008ccf88ab897abf03e227b393541580bed (diff) | |
Coq: set_slice typo
Diffstat (limited to 'doc/usage.tex')
0 files changed, 0 insertions, 0 deletions