diff options
| author |  Jason Gross <jagro@google.com> | 2018-06-15 16:03:48 -0400 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2018-06-15 16:03:48 -0400 |
| commit | c6acfd965279da0ea5c0436310750501ba81c07f (patch) | |
| tree | dbd432a46407cfbe61434aa248a2587cabba0804 /_CoqProject | |
| parent | 7e73cd94d14e36f0fe6f4295984908cb046e1dc7 (diff) | |
Add ErrorT monad, and Show class
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 45fa23cb1..271f7585f 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6450,6 +6450,7 @@ src/Util/Curry.v src/Util/Decidable.v src/Util/DefaultedTypes.v src/Util/Equality.v +src/Util/ErrorT.v src/Util/Factorize.v src/Util/FixCoqMistakes.v src/Util/FixedWordSizes.v @@ -6516,6 +6517,7 @@ src/Util/Strings/Decimal.v src/Util/Strings/Equality.v src/Util/Strings/HexString.v src/Util/Strings/OctalString.v +src/Util/Strings/Show.v src/Util/Strings/String.v src/Util/Tactics/BreakMatch.v src/Util/Tactics/CacheTerm.v @@ -6563,6 +6565,7 @@ src/Util/Tactics/VM.v src/Util/ZRange/BasicLemmas.v src/Util/ZRange/CornersMonotoneBounds.v src/Util/ZRange/Operations.v +src/Util/ZRange/Show.v src/Util/ZUtil/AddGetCarry.v src/Util/ZUtil/AddModulo.v src/Util/ZUtil/CC.v |