Compare revisions

9274984b · 9274984b · 9274984b · 9274984b · 9274984b · 9274984b
--- a/theories/lexico.v
+++ b/theories/lexico.v
--- a/stdpp/list.v
+++ b/stdpp/list.v
+(** This file re-exports all the list lemmas in std++. Do *not* import the individual
+[list_*] modules; their organization may cahnge over time. Always import [list]. *)
+
+From stdpp Require Export list_basics list_relations list_monad list_misc list_tactics list_numbers.
+From stdpp Require Import options.
--- a/stdpp/list_basics.v
+++ b/stdpp/list_basics.v
--- a/stdpp/list_misc.v
+++ b/stdpp/list_misc.v
--- a/stdpp/list_monad.v
+++ b/stdpp/list_monad.v
--- a/stdpp/list_numbers.v
+++ b/stdpp/list_numbers.v
--- a/theories/list.v
+++ b/theories/list.v
--- a/stdpp/list_tactics.v
+++ b/stdpp/list_tactics.v
--- a/theories/listset.v
+++ b/theories/listset.v
--- a/stdpp/listset_nodup.v
+++ b/stdpp/listset_nodup.v
--- a/theories/mapset.v
+++ b/theories/mapset.v
--- a/stdpp/namespaces.v
+++ b/stdpp/namespaces.v
--- a/theories/nat_cancel.v
+++ b/theories/nat_cancel.v
--- a/theories/natmap.v
+++ b/theories/natmap.v
--- a/stdpp/nmap.v
+++ b/stdpp/nmap.v
--- a/stdpp/numbers.v
+++ b/stdpp/numbers.v
--- a/theories/option.v
+++ b/theories/option.v
--- a/stdpp/options.v
+++ b/stdpp/options.v
--- a/theories/orders.v
+++ b/theories/orders.v
--- a/stdpp/pmap.v
+++ b/stdpp/pmap.v
No results found