Unification/Equ.thy
changeset 595 b0256ebba91b
parent 107 5c816239deaa
equal deleted inserted replaced
594:6552c4d0b075 595:b0256ebba91b