FIRST.html -- ACL2 Version 6.2

FIRST

first member of the list

Major Section:  ACL2-BUILT-INS

See any Common Lisp documentation for details.