Trancl.thy
changeset 157 45d0cf6e309d
parent 120 19facfd773de
child 178 12dd5d2e266b