QuotList.thy
changeset 104 41a2ab50dd89
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
103:4aef3882b436 104:41a2ab50dd89