Trancl.thy
changeset 145 a9f7ff3a464c
parent 120 19facfd773de
child 178 12dd5d2e266b