(ld "data-structures/define-u-package.lsp" :dir :system)
(ld "package.lsp")
(ld "../defdata/package.lsp")

;(ld "finite-set-theory/osets/sets.defpkg" :dir :system)
;(ld "std/osets/package.lsp" :dir :system)
;(include-book "std/portcullis" :dir :system)
(ld "coi/symbol-fns/symbol-fns-defpkg.lsp" :dir :system)