wlog_tac

wlogLib.wlog_tac : term quotation -> term quotation list -> tactic

Re-exported from bossLib.wlog_tac. See that entry for full documentation.