Slides/Slides1.thy
changeset 214 f631a59ee7af
parent 213 dda2e90de8a2
child 215 5709254e004f
equal deleted inserted replaced
213:dda2e90de8a2 214:f631a59ee7af