My favorites | Sign in
Project Home Downloads Wiki Issues Source
New issue   Search
for
  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
Owner:  rage...@gmail.com
Closed:  Jun 2013


Sign in to add a comment
 
Project Member Reported by rage...@gmail.com, 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 jared.c....@gmail.com
(No comment was entered for this change.)
Labels: Type-Enhancement Component-CUTIL Component-Docs
Jun 17, 2013
Project Member #2 jared.c....@gmail.com
This issue was closed by revision r1868.
Status: Fixed
Sign in to add a comment

Powered by Google Project Hosting