/ALL_EL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:35 1995//THOL97
/AND_EL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:36 1995//THOL97
/APPEND_CONV.doc/1.1.1.1/Mon Oct 16 13:32:36 1995//THOL97
/BUTFIRSTN_CONV.doc/1.1.1.1/Mon Oct 16 13:32:36 1995//THOL97
/BUTLASTN_CONV.doc/1.1.1.1/Mon Oct 16 13:32:36 1995//THOL97
/BUTLAST_CONV.doc/1.1.1.1/Mon Oct 16 13:32:36 1995//THOL97
/ELL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:36 1995//THOL97
/EL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:36 1995//THOL97
/EQ_LENGTH_INDUCT_TAC.doc/1.1.1.1/Mon Oct 16 13:32:36 1995//THOL97
/EQ_LENGTH_SNOC_INDUCT_TAC.doc/1.1.1.1/Mon Oct 16 13:32:37 1995//THOL97
/FILTER_CONV.doc/1.1.1.1/Mon Oct 16 13:32:37 1995//THOL97
/FIRSTN_CONV.doc/1.1.1.1/Mon Oct 16 13:32:37 1995//THOL97
/FLAT_CONV.doc/1.1.1.1/Mon Oct 16 13:32:37 1995//THOL97
/FOLDL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:37 1995//THOL97
/FOLDR_CONV.doc/1.1.1.1/Mon Oct 16 13:32:37 1995//THOL97
/GENLIST_CONV.doc/1.1.1.1/Mon Oct 16 13:32:38 1995//THOL97
/IS_EL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:38 1995//THOL97
/LASTN_CONV.doc/1.1.1.1/Mon Oct 16 13:32:38 1995//THOL97
/LAST_CONV.doc/1.1.1.1/Mon Oct 16 13:32:38 1995//THOL97
/LENGTH_CONV.doc/1.1.1.1/Mon Oct 16 13:32:38 1995//THOL97
/LIST_CONV.doc/1.1.1.1/Mon Oct 16 13:32:39 1995//THOL97
/LIST_INDUCT_TAC.doc/1.1.1.1/Mon Oct 16 13:32:39 1995//THOL97
/MAP2_CONV.doc/1.1.1.1/Mon Oct 16 13:32:39 1995//THOL97
/MAP_CONV.doc/1.1.1.1/Mon Oct 16 13:32:39 1995//THOL97
/OR_EL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:39 1995//THOL97
/PURE_LIST_CONV.doc/1.1.1.1/Mon Oct 16 13:32:39 1995//THOL97
/REPLICATE.doc/1.1.1.1/Mon Oct 16 13:32:39 1995//THOL97
/REPLICATE_CONV.doc/1.1.1.1/Mon Oct 16 13:32:40 1995//THOL97
/REVERSE_CONV.doc/1.1.1.1/Mon Oct 16 13:32:40 1995//THOL97
/SCANL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:40 1995//THOL97
/SCANR_CONV.doc/1.1.1.1/Mon Oct 16 13:32:40 1995//THOL97
/SEG_CONV.doc/1.1.1.1/Mon Oct 16 13:32:40 1995//THOL97
/SNOC_CONV.doc/1.1.1.1/Mon Oct 16 13:32:40 1995//THOL97
/SNOC_INDUCT_TAC.doc/1.1.1.1/Mon Oct 16 13:32:40 1995//THOL97
/SOME_EL_CONV.doc/1.1.1.1/Mon Oct 16 13:32:41 1995//THOL97
/SUM_CONV.doc/1.1.1.1/Mon Oct 16 13:32:41 1995//THOL97
/X_LIST_CONV.doc/1.1.1.1/Mon Oct 16 13:32:41 1995//THOL97
/list_FOLD_CONV.doc/1.1.1.1/Mon Oct 16 13:32:41 1995//THOL97
/list_thm_database.doc/1.1.1.1/Mon Oct 16 13:32:41 1995//THOL97
/set_list_thm_database.doc/1.1.1.1/Mon Oct 16 13:32:41 1995//THOL97
