Commits (309)

- 209 additional commits have been omitted to prevent performance issues.

Showing

**descr**deleted 100644 → 0

**tests/length.ref**0 → 100644

**tests/length.v**0 → 100644

**tests/notation.ref**0 → 100644

**tests/notation.v**0 → 100644

**tests/numbers.ref**0 → 100644

**tests/numbers.v**0 → 100644

**tests/sets.ref**0 → 100644

**tests/sets.v**0 → 100644

**tests/solve_ndisj.ref**0 → 100644

**tests/solve_ndisj.v**0 → 100644

**tests/tactics.ref**0 → 100644

**tests/tactics.v**0 → 100644