Trancl.thy
changeset 156 fd1be45b64bf
parent 120 19facfd773de
child 178 12dd5d2e266b