QuotList.thy
changeset 38 cac00e8b972b
parent 0 ebe0ea8fe247
child 57 13be92f5b638
equal deleted inserted replaced
37:3767a6f3d9ee 38:cac00e8b972b