Included Books
other
(in-package "ACL2")
include-book
(include-book "../defaggrify-defrec")
other
(defaggrify-defrec rewrite-rule)
other
(defaggrify-defrec def-body)
other
(defaggrify-defrec io-record)
other
(defaggrify-defrec state-vars)
other
(defaggrify-defrec gag-info)
other
(defaggrify-defrec rewrite-constant)
other
(defaggrify-defrec attachment)
other
(defaggrify-defrec clause-id)
other
(defaggrify-defrec assumption)
other
(defaggrify-defrec justification)