My favorites | Sign in
Project Home Downloads Wiki Issues Source
New issue   Search
  Advanced search   Search tips   Subscriptions
Issue 18: Update cutil::defalist doc
1 person starred this issue and may be notified of changes. Back to list
Status:  Fixed
Closed:  Jun 2013

Sign in to add a comment
Project Member Reported by, Oct 26, 2012
Update cutil::defalist documentation to suggest some alternatives to assoc and maybe acons (of course both of these are easy to write... I'd just rather see a standard evolve).  It seems like they should exist in the ACL2 books somewhere since a non-nil-terminated alist would be useless without a lookup function.
Jun 17, 2013
Project Member #1
(No comment was entered for this change.)
Labels: Type-Enhancement Component-CUTIL Component-Docs
Jun 17, 2013
Project Member #2
This issue was closed by revision r1868.
Status: Fixed
Sign in to add a comment

Powered by Google Project Hosting