Lines Matching refs:same
152 definition of EV (the set of equation variables), as the same
154 the same CCS term.
220 (* from a key list and a value list (of same length) to an alist *)
1604 (* Each solution contains the same number of CCS processes as the
1659 fs [CCS_SUBST_def, TRANS_SUM_EQ, BV_def, FV_def] \\ (* 2 subgoals, same tactics *)
1811 `IS_PROC x /\ DISJOINT (BV x) (set Xs)` is for the same case: they
2122 CONJ_TAC \\ (* s subgoals, same tactics *)
2167 CONJ_TAC \\ (* s subgoals, same tactics *)
2227 CONJ_TAC \\ (* s subgoals, same tactics *)
2247 CONJ_TAC \\ (* s subgoals, same tactics *)
2301 CONJ_TAC \\ (* s subgoals, same tactics *)
2345 CONJ_TAC \\ (* s subgoals, same tactics *)
2404 CONJ_TAC \\ (* s subgoals, same tactics *)
2424 CONJ_TAC \\ (* s subgoals, same tactics *)
3348 CONJ_TAC \\ (* 2 subgoals, same initial tactic *)