CVC4/CVC4 — pull request #19 by martin-cs (2014-03-11 00:15:44+00:00)
Title: Refactor the theory specific parts of definition expansion into the theory solvers.

In the process of doing this I may have fixed some bugs or some potential bugs so there
may be some user visible results of this refactoring.