My_list_prefix.thy
changeset 65 6f9a588bcfc4
parent 1 7d9c0ed02b56
equal deleted inserted replaced
64:0753309adfc7 65:6f9a588bcfc4