diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-04 14:50:12 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-04-04 14:50:12 -0400 |
commit | 6cba3c4e0572e9d917d3578c39f4f85cd3799b54 (patch) | |
tree | 67cbdfff8e1f35c2898e0dc18f0848652e0dec04 /src/Reflection/Z/Reify.v | |
parent | 7071632d516e361d6ad7dc10f5bbb7f39d4c4217 (diff) |
Move sigma MapProjections to a separate file
Allows for more fine-grained imports
Diffstat (limited to 'src/Reflection/Z/Reify.v')
0 files changed, 0 insertions, 0 deletions