From 4ee81b4993a2d2c7dc56b065eda892f35d2c907d Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 9 Jul 2019 08:55:24 +0200
Subject: [PATCH] Move functional lists to experimental.

---
 _CoqProject                              | 1 -
 {theories/utils => experimental}/flist.v | 0
 2 files changed, 1 deletion(-)
 rename {theories/utils => experimental}/flist.v (100%)

diff --git a/_CoqProject b/_CoqProject
index 7520c6e..eae60dc 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,7 +1,6 @@
 -Q theories actris
 -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
 theories/utils/auth_excl.v
-theories/utils/flist.v
 theories/utils/llist.v
 theories/utils/compare.v
 theories/utils/contribution.v
diff --git a/theories/utils/flist.v b/experimental/flist.v
similarity index 100%
rename from theories/utils/flist.v
rename to experimental/flist.v
-- 
GitLab