QuotList.thy
changeset 14 5f6ee943c697
parent 0 ebe0ea8fe247
child 57 13be92f5b638
equal deleted inserted replaced
13:c13bb9e02eb7 14:5f6ee943c697