Lines Matching refs:function
26 (* Internal function: *)
63 (* Internal function: *)
87 (* Internal function: *)
113 (* Internal function: GTAC *)
132 (* Internal function: TACF *)
161 (* TACF is a strictly local function, used only to define TACS, below. *)
205 (* Internal function: TACS *)
219 (* TACS is a strictly local function, used only in MUTUAL_INDUCT_THEN. *)
232 (* Internal function: GOALS *)
239 (* GOALS is a strictly local function, used only in MUTUAL_INDUCT_THEN. *)
253 (* Internal function: GALPH *)
273 (* Internal function: GALPHA *)