Compare revisions

2f3f0476 · 2f3f0476 · 2f3f0476 · 2f3f0476 · 2f3f0476 · 2f3f0476
--- 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
--- a/tests/pretty.ref
+++ b/tests/pretty.ref
--- 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/solve_ndisj.v
+++ b/tests/solve_ndisj.v
--- a/tests/solve_proper.v
+++ b/tests/solve_proper.v
No results found