CVC4/CVC4 — pull request #20 by mdeters (2014-03-15 01:18:00+00:00)
Title: Refactor the theory specific parts of definition expansion into the theo...

...ry 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.

Signed-off-by: Morgan Deters