Compat coq master
- remove Stdlib.compare - remove dependency with Coqlib
Showing
- Makefile 6 additions, 4 deletionsMakefile
- _CoqProject 0 additions, 1 deletion_CoqProject
- issues/issue_cc.v 3 additions, 3 deletionsissues/issue_cc.v
- src/cdcl.ml 20 additions, 7 deletionssrc/cdcl.ml
- src/no.ml 3 additions, 3 deletionssrc/no.ml
- theories/Coqlib.v 0 additions, 1392 deletionstheories/Coqlib.v
- theories/Formula.v 2 additions, 2 deletionstheories/Formula.v
- theories/KeyInt.v 1 addition, 3 deletionstheories/KeyInt.v
- theories/PatriciaR.v 34 additions, 49 deletionstheories/PatriciaR.v
- theories/Prover.v 1 addition, 1 deletiontheories/Prover.v
Loading
Please register or sign in to comment