Slides/Slides2.thy
changeset 56 0fd478e14e87
parent 18 598409a21f4c
equal deleted inserted replaced
55:b85cfbd58f59 56:0fd478e14e87