\r
;;Library file names\r
(defvar *library-file-if* "if.fas")\r
-(defvar *library-file-iflib* "if.fas")\r
-(defvar *library-file-verbs* "if.fas") \r
+(defvar *library-file-iflib* "iflib.fas")\r
+(defvar *library-file-verbs* "verbs.fas") \r
\r
;;SECTION 2: Library-defined classes and objects\r
\r