QuotList.thy
changeset 253 e169a99c6ada
parent 57 13be92f5b638
child 511 28bb34eeedc5
equal deleted inserted replaced
252:e30997c88050 253:e169a99c6ada