(in-package "ACL2")

;; Bring together the two major components of Ivy.

(include-book "prover")
(include-book "modeler")