Lines Matching refs:rw
67 rw[FUN_EQ_THM] >> EVAL_TAC >>
72 EVAL_TAC >> rw[]);
82 rw[FUN_EQ_THM] >>
94 rw[FUN_EQ_THM] >>
107 rw[FUN_EQ_THM] >> EVAL_TAC);
114 rw[FUN_EQ_THM] >> EVAL_TAC);
118 rw[FUN_EQ_THM] >> EVAL_TAC);
123 rw[FUN_EQ_THM] >> EVAL_TAC >>
132 rw[FUN_EQ_THM] >> EVAL_TAC >>
154 rw[FUN_EQ_THM] >>
155 rw[Once sem_t_def,dec_clock_then_def,mbind_def,mibind_def,mreturn_def,UNIT_DEF] >>