Compare revisions

7f11a0db · 7f11a0db · 7f11a0db · 8bf7243a · 8bf7243a · 7f11a0db
--- a/tests/fin.v
+++ b/tests/fin.v
--- a/tests/fin_maps.ref
+++ b/tests/fin_maps.ref
--- a/tests/fin_maps.v
+++ b/tests/fin_maps.v
--- a/tests/gmap.ref
+++ b/tests/gmap.ref
--- a/tests/gmap.v
+++ b/tests/gmap.v
--- a/tests/list.v
+++ b/tests/list.v
--- a/tests/multiset_solver.v
+++ b/tests/multiset_solver.v
--- a/tests/numbers.ref
+++ b/tests/numbers.ref
--- a/tests/numbers.v
+++ b/tests/numbers.v
--- a/tests/numbers_import.ref
+++ b/tests/numbers_import.ref
--- a/tests/numbers_import.v
+++ b/tests/numbers_import.v
--- a/tests/pretty.v
+++ b/tests/pretty.v
--- a/tests/proper.ref
+++ b/tests/proper.ref
--- 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/strings.ref
+++ b/tests/strings.ref
--- a/tests/strings.v
+++ b/tests/strings.v
--- a/tests/tactics.ref
+++ b/tests/tactics.ref
No results found