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 /_CoqProject | |
parent | 7071632d516e361d6ad7dc10f5bbb7f39d4c4217 (diff) |
Move sigma MapProjections to a separate file
Allows for more fine-grained imports
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 942930051..09eafa01e 100644 --- a/_CoqProject +++ b/_CoqProject @@ -285,6 +285,7 @@ src/Util/ZRange.v src/Util/ZUtil.v src/Util/Sigma/Associativity.v src/Util/Sigma/Lift.v +src/Util/Sigma/MapProjections.v src/Util/Tactics/BreakMatch.v src/Util/Tactics/ClearDuplicates.v src/Util/Tactics/Contains.v |