doc-src/TutorialI/Misc/appendix.thy
changeset 17782 b3846df9d643
parent 16417 9bc16273c2d4
child 24585 c359896d0f48
equal deleted inserted replaced
17781:32bb237158a5 17782:b3846df9d643