Quot/QuotList.thy
changeset 1004 44b013c59653
parent 937 60dd70913b44