diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-03-10 13:45:37 -0500 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:42:17 -0400 |
| commit | 9fa6efa9ef8431b5a81697e2276f1707b3b9fa2f (patch) | |
| tree | d59152f29ef7817a0f082b25f222f287b4cb2782 /src/BoundedIterOp.v | |
| parent | 928d08f93a5375360d8c022de8a2be0fcc31ca30 (diff) | |
Absolutize Coqprime imports
Used
```bash
cd coqprime
make -kj10
cd Coqprime
git ls-files "*.v" | xargs python ~/Documents/repos/coq-tools/absolutize-imports.py -i -R . Coqprime
```
Diffstat (limited to 'src/BoundedIterOp.v')
0 files changed, 0 insertions, 0 deletions