Lines Matching refs:SPEC
136 (SPEC ``E :('a, 'b) CCS`` STRONG_SUM_IDENT_R)));
191 (SPEC ``E :('a, 'b) CCS``
196 (SPEC ``E' :('a, 'b) CCS``
198 (SPEC ``E :('a, 'b) CCS`` STRONG_SUM_IDEMP)))))));
210 (SPEC ``E' :('a, 'b) CCS``
212 (SPEC ``E'' :('a, 'b) CCS``
215 (SPEC ``E' :('a, 'b) CCS``
344 (SPEC ``E :('a, 'b) CCS`` STRONG_PAR_IDENT_R)));
606 (CONJ (SPEC ``tau :'b Action``
609 (SPEC ``u: 'b Action``
617 "STRONG_PAR_TAU_TAU", SPEC ``tau :'b Action`` STRONG_PAR_PREF_TAU);