Lines Matching refs:f2
143 ``^IMP_t f1 f2 =
144 ^form_ABS_t (GLAM ARB ftmIMP [] [^form_REP_t f1; ^form_REP_t f2])``);
146 ``^formP (GLAM v ftmIMP [] [^form_REP_t f1; ^form_REP_t f2])``,
150 ``^form_ABS_t (GLAM v ftmIMP [] [^form_REP_t f1; ^form_REP_t f2]) =
151 ^IMP_t f1 f2``,
368 (���f1 f2 x. (���x. P f1 x) ��� (���x. P f2 x) ��� P (IMP f1 f2) x) ���
394 ``ALL v1 f1 = ALL v2 f2``
398 |> GENL [``v1:string``, ``v2:string``, ``f1:form``, ``f2:form``]);