mode-acl2s-dependencies

Included Books

other

(in-package "ACL2")

include-book

(include-book "system/doc/acl2-doc-wrap" :dir :system)

include-book

(include-book "acl2s/mode-acl2s-dependencies-lite" :dir :system)