(defpkg "LIST" (append '(mfc-clause mfc-ancestors let term-order) *acl2-exports*)) ;i'm not sure what we need to be in this...