[acl2/acl2] a1fc09: aignet: improve axioms about abc interface

0 views

Skip to first unread message

unread,

Apr 25, 2017, 3:37:39 PM4/25/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: a1fc09ec3dc57e82f9d10c26b0dd8a4c4313416e
https://github.com/acl2/acl2/commit/a1fc09ec3dc57e82f9d10c26b0dd8a4c4313416e
Author: Sol Swords <ssw...@centtech.com>
Date: 2017-04-25 (Tue, 25 Apr 2017)

Changed paths:
M books/centaur/aignet/abc.lisp

Log Message:
-----------
aignet: improve axioms about abc interface

unread,

Apr 25, 2017, 3:40:27 PM4/25/17

to acl2-...@googlegroups.com

Branch: refs/heads/master

Reply all

Reply to author

Forward

0 new messages