Lines Matching refs:list
25 val ADD_ASSUMS_THEN :{new_assumptions:term list, tactic:tactic} -> tactic
26 val ADD_STRIP_ASSUMS_THEN :{new_assumptions:term list, tactic:tactic} ->
30 val ASSUME_LIST_TAC :thm list -> tactic
33 specialization_list:term list} -> thm
41 val REDUCE_TAC :thm list -> tactic
54 val is_contained_in :{subset:term list, superset: term list} -> bool
55 val mapshape :{functions:('a list -> 'b) list,
56 partition:int list,
57 unionlist:'a list} -> 'b list