STRING-EQUAL.html -- ACL2 Version 6.3

### STRING-EQUAL

string equality without regard to case

    Major Section:  ACL2-BUILT-INS

For strings `str1` and `str2`, `(string-equal str1 str2)` is true if and only `str1` and `str2` are the same except perhaps for the cases of their characters.

The guard on `string-equal` requires that its arguments are strings consisting of standard characters (see standard-char-listp).

`String-equal` is a Common Lisp function. See any Common Lisp documentation for more information.

To see the ACL2 definition of this function, see pf.