Library Stdlib.Program.Tactics

From Corelib Require Export Program.Tactics.