QuotList.thy
changeset 427 5a3965aa4d80
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
426:98936120ab02 427:5a3965aa4d80