ex/Qsort.thy
changeset 156 fd1be45b64bf
parent 48 21291189b51e
child 249 492493334e0f