QuotList.thy
changeset 447 3e7ee6f5437d
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
446:84ee3973f083 447:3e7ee6f5437d