diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-12-04 16:13:43 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-12-04 16:13:43 -0500 |
| commit | fe04d34c95b68bfa253631bfdfb61742e1bcf3b5 (patch) | |
| tree | e1346d5e7916b10dc71c2aea587044f70ec267ef /src/Arithmetic | |
| parent | abed3aa12aa0e754f453b1fd5c4ab59c75137df5 (diff) | |
Remove ListUtil.List.repeat
We are no longer checking against Coq 8.5, and it's simpler to not have
two versions of `List.repeat` floating around.
Diffstat (limited to 'src/Arithmetic')
0 files changed, 0 insertions, 0 deletions