Compare revisions

95b6b0c0 · 95b6b0c0 · 95b6b0c0 · 95b6b0c0 · 95b6b0c0 · 95b6b0c0
--- a/tests/bitvector_tactics.ref
+++ b/tests/bitvector_tactics.ref
--- a/tests/bitvector_tactics.v
+++ b/tests/bitvector_tactics.v
--- a/tests/decidable.ref
+++ b/tests/decidable.ref
--- a/tests/decidable.v
+++ b/tests/decidable.v
--- a/tests/eunify.v
+++ b/tests/eunify.v
--- a/tests/fin.ref
+++ b/tests/fin.ref
--- 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/is_closed_term.ref
+++ b/tests/is_closed_term.ref
--- a/tests/is_closed_term.v
+++ b/tests/is_closed_term.v
--- a/tests/list.ref
+++ b/tests/list.ref
--- a/tests/list.v
+++ b/tests/list.v
--- a/tests/multiset_solver.v
+++ b/tests/multiset_solver.v
--- a/tests/notation.ref
+++ b/tests/notation.ref
--- a/tests/notation.v
+++ b/tests/notation.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
No results found