The latest version of refinery is 0.4.0.0-0.

Refinery.Tactic

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?