Quot/QuotList.thy
changeset 951 62f0344b219c
parent 937 60dd70913b44