top.lisp « ivy-sources « ivy-v2 « ivy « 1999 « workshops « books - acl2 - Debian dgit repo for package acl2

summary refs log tree commit diff

path: root/books/workshops/1999/ivy/ivy-v2/ivy-sources/top.lisp

blob: 6e2e38de77306d7b960f7ac00487f61c94598ee6 (plain)

(in-package "ACL2")

;; Bring together the two major components of Ivy.

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