Quot/QuotList.thy
changeset 804 ba7e81531c6d
parent 796 64f9c76f70c7
child 825 970e86082cd7