{"shas":[["5056bb1aae680dcfb14a490844abde71ec288121","fa12a7c8b605ada6fa615b37604c55d05718dd4b@cs.mcgill.ca","Added explicit tactics for imp_r and imp_inv, made apply and backchain work with multi-seq","Andrew Cave"]],"ref":"refs/heads/master","size":1,"head":"5056bb1aae680dcfb14a490844abde71ec288121","push_id":32230122}