my_list_prefix.thy
changeset 4 8b6ba7168f2d
parent 1 dcde836219bc
equal deleted inserted replaced
3:4d25a9919688 4:8b6ba7168f2d