QuotList.thy
changeset 280 0e89332f7625
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
279:b2fd070c8833 280:0e89332f7625