Quot/QuotList.thy
changeset 606 38aa6b67a80b
parent 600 5d932e7a856c
child 623 280c12bde1c4