QuotList.thy
changeset 193 b888119a18ff
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
192:a296bf1a3b09 193:b888119a18ff