defs

(in-package "STR")

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

(include-book "std/util/bstar" :dir :system)

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

(include-book "std/basic/defs" :dir :system)

(include-book "printtree")

(encapsulate nil
  (local (include-book "top"))
  (local (include-book "defs-aux"))
  (local (include-book "std/util/defredundant" :dir :system))
  (make-event (b* ((events (defredundant-fn *str-library-basic-defs*
           nil
           state)))
      (value events))))