Compare revisions

8d0d1ffc · 8d0d1ffc · 8d0d1ffc · 8d0d1ffc · 8d0d1ffc · 8d0d1ffc
--- a/theories/numbers.v
+++ b/theories/numbers.v
--- a/theories/option.v
+++ b/theories/option.v
--- a/theories/orders.v
+++ b/theories/orders.v
--- a/theories/pmap.v
+++ b/theories/pmap.v
--- a/theories/prelude.v
+++ b/theories/prelude.v
--- a/theories/proof_irrel.v
+++ b/theories/proof_irrel.v
--- a/theories/tactics.v
+++ b/theories/tactics.v
No results found