Major Section: ACL2-BUILT-INS
General form: (getprop symb key default world-name world-alist)
See community book books/misc/getprop.lisp for an example that
illustrates the use of ACL2 utilities getprop and putprop to take
advantage of under-the-hood Lisp (hashed) property lists.
To see the ACL2 definition of this function, see pf.
