thys2/BasicIdentities.thy
changeset 605 ed53ce26ecb6
parent 553 0f00d440f484