QuotList.thy
changeset 283 5470176d6730
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
282:e9212a4a44be 283:5470176d6730