(in-package "ACL2")

(include-book "arithmetic/top-with-meta" :dir :system)
(include-book "../subdir1/foo")
(include-book "../subdir1/bar")