completelynovel/acl2_ownership

Add ownership functionality to Ezra's Zygmuntowicz acl_system plugin

Ruby