diff options
| author |  Jason Gross <jagro@google.com> | 2018-08-13 18:47:16 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-08-13 18:47:16 -0400 |
| commit | 2e4fd42272e54c270d31a916ae26eb930965b4ea (patch) | |
| tree | 2fbfcd6e7449ebffa27061cd3c40b449fd5d3734 /_CoqProject | |
| parent | c22b3c9726aa1c052fd44bcaf0ced8fb30970206 (diff) | |
Add the file proving split_bounds correct
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 63500c8ed..ece17fd6a 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6600,6 +6600,7 @@ src/Util/ZRange/BasicLemmas.v src/Util/ZRange/CornersMonotoneBounds.v src/Util/ZRange/Operations.v src/Util/ZRange/Show.v +src/Util/ZRange/SplitBounds.v src/Util/ZUtil/AddGetCarry.v src/Util/ZUtil/AddModulo.v src/Util/ZUtil/CC.v |