[acl2-books] Add b* to std::std-exports

0 views

Skip to first unread message

unread,

Oct 16, 2017, 5:24:10 PM10/16/17

to acl2-...@googlegroups.com

Hi,

Is there a reason that b* isn't in std::*std-exports*, as defined in
books/std/portcullis?

Thanks,
David

Reply all

Reply to author

Forward

0 new messages

[acl2-books] Add b* to std::*std-exports*