src/CCL/Trancl.thy
changeset 1511 09354d37a5ab
parent 1474 3f7d67927fe2
child 17456 bcf7544875b2