Included Books
other
(in-package "ACL2")
local
(local (include-book "remove-guard-holders1"))
include-book
(include-book "subcor-var")
other
(verify-termination weak-badge-userfn-structure-alistp)
other
(verify-termination apply$-badge-p)
other
(verify-termination badge-userfn-structure-alistp)
other
(verify-termination apply$-badge-alistp-ilks-t)
other
(verify-termination ilks-per-argument-slot)
other
(verify-termination remove-guard-holders1)
other
(verify-guards remove-guard-holders1)
other
(verify-termination remove-guard-holders-weak)