Lines Matching refs:rw
90 local val rw = srw_tac[] val fs = fsrw_tac[] in107 rw [small_sem_def, fbs_sem_def] >>120 rw [] >>123 rw [] >>131 rw [] >>134 rw [] >>159 rw [check_result_def] >>165 rw [check_result_def] >>197 rw []200 rw [] >>202 rw [] >>205 rw [check_trace_thm] >>207 rw [] >>209 rw []