Implement tactic matching.
[goals.git] / stamp-h.in