Move functional lists to experimental.

4ee81b49 · Robbert Krebbers · 3b201219 · 4ee81b49 · 4ee81b49
Commit 4ee81b49 authored Jul 09, 2019 by Robbert Krebbers
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

_CoqProject _CoqProject +0 -1

experimental/flist.v experimental/flist.v +0 -0

No files found.
--- a/_CoqProject
+++ b/_CoqProject
 -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

--- a/theories/utils/flist.v
+++ b/theories/utils/flist.v