QuotList.thy
changeset 113 e3a963e6418b
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
112:0d6d37d0589d 113:e3a963e6418b