src/CCL/Trancl.thy
changeset 1868 836950047d85
parent 1474 3f7d67927fe2
child 17456 bcf7544875b2