Lines Matching refs:list
9 | NONREC of {eqs:thm, ind:thm, SV:term list, stem:string}
10 | STDREC of {eqs:thm list, ind:thm, R:term,SV:term list,stem:string}
11 | MUTREC of {eqs:thm list, ind:thm, R:term,SV:term list,
13 | NESTREC of {eqs:thm list, ind:thm, R:term,SV:term list,
15 | TAILREC of {eqs:thm list, ind:thm, R:term, SV:term list, stem:string}
19 val all_terms : defn -> term list
25 val read_congs : unit -> thm list
26 val write_congs : thm list -> unit