Quot/QuotList.thy
changeset 810 f73e2f5f17b2
parent 796 64f9c76f70c7
child 825 970e86082cd7