Quot/QuotList.thy
changeset 823 ae3ed7a68e80
parent 796 64f9c76f70c7
child 825 970e86082cd7