Library Stdlib.Init.Tactics

From Corelib Require Export Init.Tactics.