QuotList.thy
changeset 33 e8f1fa50329a
parent 0 ebe0ea8fe247
child 57 13be92f5b638
equal deleted inserted replaced
32:999300935e9c 33:e8f1fa50329a