arithmetic-top-theory

Included Books

top

other

(in-package "ACL2")

include-book

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

other

(deftheory-static arithmetic-top-theory
  (current-theory :here))