e176d258771b134d5eb9c74f4f320110a538ba24 Michal Ochman ocherek@gmail.com http://github.com/ocher/acl2_ownership/commit/b0ae8f2ee3ff1cdd8a1131512c8238f74dfc8c5c b0ae8f2ee3ff1cdd8a1131512c8238f74dfc8c5c 2008-09-13T13:03:35-07:00 2008-09-13T13:03:35-07:00 Added support for setting array of owners 9232c9a81f176584c79994c3aff390c917603bd1 Michal Ochman ocherek@gmail.com Michal Ochman ocherek@gmail.com http://github.com/ocher/acl2_ownership/commit/e176d258771b134d5eb9c74f4f320110a538ba24 e176d258771b134d5eb9c74f4f320110a538ba24 2008-06-21T07:33:23-07:00 2008-06-21T07:33:23-07:00 initial import b51049e74c5a171bfc5662b5f344d95f1bb29c55 Michal Ochman ocherek@gmail.com