mode-acl2s-dependencies-lite

(include-book "misc/expander" :dir :system)

(include-book "misc/bash" :dir :system)

(include-book "ordinals/lexicographic-ordering" :dir :system)

(include-book "hacking/all" :dir :system :ttags :all)

(include-book "hacking/evalable-ld-printing" :dir :system :ttags :all)

(include-book "make-event/inline-book" :dir :system)

(include-book "make-event/defconst-fast" :dir :system)

(include-book "misc/evalable-printing" :dir :system)

(include-book "misc/trace-star" :dir :system)

(include-book "coi/symbol-fns/symbol-fns" :dir :system)

(include-book "data-structures/utilities" :dir :system)

(include-book "tools/templates" :dir :system)

(include-book "tools/rulesets" :dir :system)

(include-book "std/lists/top" :dir :system)

(include-book "std/alists/top" :dir :system)

(include-book "std/strings/top" :dir :system)

(include-book "xdoc/defxdoc-raw" :dir :system)

(include-book "tools/include-raw" :dir :system)

(include-book "xdoc/topics" :dir :system)

(include-book "std/testing/eval" :dir :system)

(include-book "std/lists/flatten" :dir :system)

(include-book "kestrel/utilities/system/terms" :dir :system)

(include-book "acl2s/cgen/top" :dir :system :ttags :all)