Trancl.thy
changeset 204 21c405b4039f
parent 178 12dd5d2e266b