ACL2(r) recognizer for a true list of real numbers
The predicate real-listp tests whether its argument is a true list of real numbers. This predicate is only defined in ACL2(r) (see real).
