Unification/Terms.thy
changeset 502 8af4dd71e875
parent 107 5c816239deaa
equal deleted inserted replaced
501:466c2c762bb4 502:8af4dd71e875