src/CCL/Trancl.thy
changeset 70299 83774d669b51
parent 62020 5d208fd2507d
child 74445 63a697f1fb8f
equal deleted inserted replaced
70298:ad2d84c42380 70299:83774d669b51