    "$EIFFEL_S/library/basic"
        find
            "boolean_ref"           in "bool_ref.e",
            "character"             in "characte.e",
            "character_ref"         in "char_ref.e",  
            "comparable"            in "compar.e",  
            "environment"           in "environ.e",
            "exception"             in "except.e",
            "file_system"           in "file_sys.e",
            "integer_ref"           in "int_ref.e", 
            "system_time"           in "sys_time.e",
            "object_structure"      in "objstruc.e",
            "part_comparable"       in "partcomp.e"
            "std_files"             in "std_file.e"
            "arguments"             in "argument.e" 
    end

    "$EIFFEL_S/library/contain"
        find 
            "array2"                in "array2.ce",
            "list"                  in "list.ce",
            "queue"                 in "queue.ce",
            "table"                 in "table.ce",
            "catalog"               in "catalog.ce",
            "stack"                 in "stack.ce",
            "iterator"              in "iterator.ce",
            "dictionary"            in "dictnary.ce",
            "hash_table"            in "h_table.ce",
            "traversable"           in "travers.ce",
            "sorted_table"          in "s_table.ce",
            "sorted_list"           in "s_list.ce",
            "twoway_iter"           in "tw_iter.ce",
            "sort_table"            in "srt_tbl.ce",
            "collection"            in "colctn.ce",
            "sorted_collection"     in "srt_cln.ce"
            "traversable"           in "travers.ce",
            "twoway_traversable"    in "tw_trvrs.ce",
            "list_catalog"          in "l_catlg.ce",
            "sorted_catalog"        in "s_catlg.ce",
            "short_catalog"         in "sh_catlg.ce",
            "short_sorted_catalog"  in "ss_catlg.ce",
            "short_list"            in "sh_list.ce",
            "short_table"           in "sh_table.ce",
            "short_sorted_list"     in "shs_list.ce",
            "short_sorted_table"    in "shs_tbl.ce",
            "simple_table"          in "smp_tbl.ce",
            "short_catalog"         in "sh_catlg.ce",
            "priority_queue"        in "prqueue.ce",
            "key_priority_queue"    in "kprqueue.ce",
            "pair_iter"             in "pairiter.ce"
    end

    "$EIFFEL_S/library/sorter"
    end

    "$EIFFEL_S/library/math"
    end

