EVERY_TCL : (thm_tactical list -> thm_tactical)
EVERY_TCL [ttl1;...;ttln] = ttl1 THEN_TCL ... THEN_TCL ttlnIn other words, if:
ttl1 ttac th1 = ttac th2 ... ttln ttac thn = ttac thn'then:
EVERY_TCL [ttl1;...;ttln] ttac th1 = ttac thn'If the theorem-tactical list is empty, the resulting theorem-tactical behaves in the same way as ALL_THEN, the identity theorem-tactical.