QuotList.thy
changeset 123 50219e796e05
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
122:768c5d319a0a 123:50219e796e05