QuotScript.thy
changeset 529 6348c2a57ec2
parent 528 f51e2b3e3149
child 530 5e92ce8f306d