base-properties

(in-package "ACL2S")

(include-book "acl2s/properties" :dir :system :ttags :all)

(property in-over-append
  (e :all x y :tl)
  (== (in e (append x y))
    (or (in e x)
      (in e y))))