diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-02-12 17:54:57 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-02-12 17:54:57 -0500 |
| commit | d704a3934f406c63a7d917fdb865ddf37e58d1e8 (patch) | |
| tree | bd20bad8bacc85b827dde8866cae930c6c63d84d /_CoqProject | |
| parent | 55d03af9ef24507aa546d2075740f569cc2c971c (diff) | |
Add expand_list_correct to ListUtil
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions