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/Algebra/Group.v | |
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/Algebra/Group.v')
0 files changed, 0 insertions, 0 deletions