Quot/QuotList.thy
changeset 664 546ba31fbb83
parent 645 fe2a37cfecd3
child 666 adcceaf31f92