Lines Matching refs:function
33 fun UTILSLIB_ERR{function,message} =
35 origin_function = function,
63 {function = "find_match",
87 | mapshape _ = raise UTILSLIB_ERR{function = "mapshape",
237 {function = "FALSITY_INTRO",
283 {function = "SUPPOSE_TAC",
286 {function = "SUPPOSE_TAC",
310 {function = "REV_SUPPOSE_TAC",
313 {function = "REV_SUPPOSE_TAC",
431 {function = "ASM_CONJ1_TAC",
453 {function = "ASM_CONJ2_TAC",
477 {function = "MP_IMP_TAC",
481 {function = "MP_IMP_TAC",
484 {function = "MP_IMP_TAC",
560 raise UTILSLIB_ERR{function = "REDUCE_TAC-tryfind",