QuotList.thy
changeset 356 51aafebf4d06
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
355:abc6bfd0576e 356:51aafebf4d06