Compare revisions

2bc4df02 · 2bc4df02 · 2bc4df02 · 2bc4df02 · 2bc4df02 · 2bc4df02
--- a/prelude/base.v
+++ b/prelude/base.v
--- a/prelude/bsets.v
+++ b/prelude/bsets.v
--- a/prelude/co_pset.v
+++ b/prelude/co_pset.v
--- a/prelude/collections.v
+++ b/prelude/collections.v
--- a/prelude/countable.v
+++ b/prelude/countable.v
--- a/prelude/decidable.v
+++ b/prelude/decidable.v
--- a/prelude/error.v
+++ b/prelude/error.v
--- a/prelude/fin_collections.v
+++ b/prelude/fin_collections.v
--- a/prelude/fin_map_dom.v
+++ b/prelude/fin_map_dom.v
--- a/prelude/fin_maps.v
+++ b/prelude/fin_maps.v
--- a/prelude/finite.v
+++ b/prelude/finite.v
--- a/prelude/functions.v
+++ b/prelude/functions.v
--- a/prelude/gmap.v
+++ b/prelude/gmap.v
--- a/prelude/hashset.v
+++ b/prelude/hashset.v
--- a/prelude/hlist.v
+++ b/prelude/hlist.v
--- a/prelude/lexico.v
+++ b/prelude/lexico.v
--- a/prelude/list.v
+++ b/prelude/list.v
--- a/prelude/listset.v
+++ b/prelude/listset.v
--- a/prelude/listset_nodup.v
+++ b/prelude/listset_nodup.v
--- a/prelude/mapset.v
+++ b/prelude/mapset.v
No results found