QuotList.thy
changeset 42 1d08221f48c4
parent 0 ebe0ea8fe247
child 57 13be92f5b638
equal deleted inserted replaced
37:3767a6f3d9ee 42:1d08221f48c4