Quot/QuotList.thy
changeset 992 74e9a580448c
parent 937 60dd70913b44