src/CTT/ex/Synthesis.thy
changeset 19979 a0846edbe8b0
parent 19774 5fe7731d0836
child 35762 af3ff2ba4c54