Compare revisions

9274984b · 9274984b · 9274984b · 9274984b · 9274984b · 9274984b
--- a/tests/pretty.v
+++ b/tests/pretty.v
--- a/tests/proper.v
+++ b/tests/proper.v
--- a/tests/propset.ref
+++ b/tests/propset.ref
--- a/tests/propset.v
+++ b/tests/propset.v
--- a/tests/sets.v
+++ b/tests/sets.v
--- a/tests/solve_ndisj.v
+++ b/tests/solve_ndisj.v
--- a/tests/strings.ref
+++ b/tests/strings.ref
--- a/tests/strings.v
+++ b/tests/strings.v
--- a/tests/tactics.ref
+++ b/tests/tactics.ref
--- a/tests/tactics.v
+++ b/tests/tactics.v
--- a/tests/tactics_more.ref
+++ b/tests/tactics_more.ref
--- a/tests/tactics_more.v
+++ b/tests/tactics_more.v
--- a/tests/telescopes.v
+++ b/tests/telescopes.v
--- a/tests/typeclasses.ref
+++ b/tests/typeclasses.ref
--- a/tests/typeclasses.v
+++ b/tests/typeclasses.v
--- a/tests/universes.ref
+++ b/tests/universes.ref
--- a/tests/universes.v
+++ b/tests/universes.v
--- a/theories/gmap.v
+++ b/theories/gmap.v
--- a/theories/numbers.v
+++ b/theories/numbers.v
--- a/theories/pmap.v
+++ b/theories/pmap.v
No results found