From 0bdf0b79fe851ded6d86ad74cd54bd2133852f49 Mon Sep 17 00:00:00 2001 From: Niels Date: Thu, 3 Aug 2017 13:54:02 +0200 Subject: [PATCH] Added k_finite in coq project --- FiniteSets/_CoqProject | 1 + 1 file changed, 1 insertion(+) diff --git a/FiniteSets/_CoqProject b/FiniteSets/_CoqProject index 2e19a96..b30ce1f 100644 --- a/FiniteSets/_CoqProject +++ b/FiniteSets/_CoqProject @@ -19,5 +19,6 @@ FSets.v Sub.v implementations/lists.v variations/enumerated.v +variations/k_finite.v #empty_set.v #ordered.v