CookBook/Intro.thy
changeset 72 7b8c4fe235aa
parent 68 e7519207c2b7
child 75 f2dea0465bb4
equal deleted inserted replaced
71:14c3dd5ee2ad 72:7b8c4fe235aa