Quot/QuotList.thy
changeset 820 162e38c14f24
parent 796 64f9c76f70c7
child 825 970e86082cd7
equal deleted inserted replaced
819:f5c9ddc18246 820:162e38c14f24