QuotList.thy
changeset 285 8ebdef196fd5
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
284:78bc4d9d7975 285:8ebdef196fd5