Slides/Slides1.thy
changeset 61 f8194fd6214f
parent 4 9d667d545e32
equal deleted inserted replaced
60:f98a95f3deae 61:f8194fd6214f