QuotList.thy
changeset 528 f51e2b3e3149
parent 515 b00a9b58264d
child 529 6348c2a57ec2
equal deleted inserted replaced
527:9b1ad366827f 528:f51e2b3e3149