QuotList.thy
changeset 130 8e8ba210f0f7
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
129:89283c1dbba7 130:8e8ba210f0f7