Changed paths:
M books/kestrel/utilities/applicability-conditions-tests.lisp
M books/kestrel/utilities/characters-tests.lisp
M books/kestrel/utilities/defchoose-queries-tests.lisp
M books/kestrel/utilities/defun-sk-queries-tests.lisp
M books/kestrel/utilities/fresh-names-tests.lisp
M books/kestrel/utilities/install-not-norm-event-tests.lisp
M books/kestrel/utilities/integers-from-to-tests.lisp
M books/kestrel/utilities/numbered-names-tests.lisp
M books/kestrel/utilities/strings-tests.lisp
M books/kestrel/utilities/terms-tests.lisp
M books/kestrel/utilities/world-queries-tests.lisp
Log Message:
-----------
Use the newly added ASSERT-EQUAL in tests.