Update Hashable Term instance so alphaEquiv t1 t2 implies hash t1 == hash t2#1869
Open
m-yac wants to merge 2 commits intomasterfrom hashable-term-alphaEquiv
+54-22
Hashable Term instance so alphaEquiv t1 t2 implies hash t1 == hash t2#1869