; 2010-09-16 Pete Manolios: Created two versions of our
; lexicogrphic-ordering book: one includes
; arithmetic/top-with-meta (this one) and one doesn't. 

(in-package "ACL2")
(include-book "top-with-meta")
(include-book "lexicographic-book")
