src/HOL/Tools/SMT/cvc4_interface.ML
21 months ago blanchet 2017-08-29 towards support for HO SMT-LIB
2015-02-17 blanchet 2015-02-17 use more permissive logic for CVC4 (in case both reals and datatypes appear)
2014-11-20 blanchet 2014-11-20 set right logic for CVC4 with (co)datatypes
2014-09-18 blanchet 2014-09-18 fixed authorship
2014-09-17 blanchet 2014-09-17 added interface for CVC4 extensions