List_Prefix.thy
changeset 20 928c015eb03e
parent 13 dd1499f296ea
equal deleted inserted replaced
19:c3517b281164 20:928c015eb03e