(in-package "ACL2")

;; This book simply brings together the two books that are
;; used for many different operations.
;;
;; wfftype book: core definitions, basic theorems about formulas
;; xeval book: alternate evaluation function

(include-book "wfftype")
(include-book "xeval")
