SET-DIFFERENCE-EQ.html -- ACL2 Version 3.1

SET-DIFFERENCE-EQ

elements of one list that are not elements of another

Major Section:  PROGRAMMING

(Set-difference-eq x y) is logically equivalent to set-difference-equal, except that the guard requires not only that the two arguments are true-listps but also that at least one is a symbol-listp. Also see set-difference-equal.