QuotList.thy
changeset 502 6b2f6e7e62cc
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
494:abafefa0d58b 502:6b2f6e7e62cc