CVC3

theory_arith → theory_core Relation

File in src/theory_arithIncludes file in src/theory_core
theory_arith_old.cppcore_proof_rules.h