changeset 58369 | 149fb885dcd8 |
parent 58360 | dee1fd1cc631 |
child 59018 | ec8ea2465d2a |
--- 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. *)