update Tactic after changes in lambdapi#62

fblanqui merged 1 commit into

Deducteam:masterDeducteam/lambdapi-stdlib:masterfrom

fblanqui:updatefblanqui/lambdapi-stdlib:updateCopy head branch name to clipboard