;;;*******************************************************************
;;; COOL FUNCTION TESTS
;;;
;;; These files coolfnx.bat and coolfnx.clp test various
;;; COOL ancillary functions.
;;;
;;; To test, execute the command (batch "coolfnx.tst").
;;; When the test is complete, check the file coolfnx.rsl
;;; for the results.
;;;*******************************************************************