QuotList.thy
changeset 87 9220c51e5155
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
86:133af7260a12 87:9220c51e5155