From c6acfd965279da0ea5c0436310750501ba81c07f Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 15 Jun 2018 16:03:48 -0400 Subject: Add ErrorT monad, and Show class --- _CoqProject | 3 +++ 1 file changed, 3 insertions(+) (limited to '_CoqProject') 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 -- cgit v1.2.3