ocher

Message_button
Michal Ochman
1
1
  • acl2_ownership
    Add ownership functionality to Ezra's Zygmuntowicz acl_system plugin
    Created Sat Jun 21 07:20:25 -0700 2008
    legend

Public Activity  feed

ocher committed to ocher/acl2_ownership 28 days ago

b0ae8f2ee3ff1cdd8a1131512c8238f74dfc8c5c

Added support for setting array of owners

ocher created acl2_ownership 3 months ago
New repository is at ocher/acl2_ownership