author | blanchet |
Thu, 18 Sep 2014 16:47:40 +0200 | |
changeset 58369 | 149fb885dcd8 |
parent 58368 | fe083c681ed8 |
child 58370 | ffc8669e46cf |
--- a/src/HOL/Tools/SMT/cvc4_interface.ML Thu Sep 18 15:07:43 2014 +0200 +++ b/src/HOL/Tools/SMT/cvc4_interface.ML Thu Sep 18 16:47:40 2014 +0200 @@ -1,5 +1,5 @@ (* Title: HOL/Tools/SMT/cvc4_interface.ML - Author: Sascha Boehme, TU Muenchen + Author: Jasmin Blanchette, TU Muenchen Interface to CVC4 based on an extended version of SMT-LIB. *)