corrected LibTactics.v; finished UseTactics.v