(in-package "ACL2") (include-book "data-structures/list-theory" :dir :system)