Slides/Slides1.thy
changeset 8 5ba3d79622da
parent 4 9d667d545e32
equal deleted inserted replaced
7:0514be2ad83e 8:5ba3d79622da