doc-src/TutorialI/Misc/appendix.thy
changeset 26150 f6bd8686b71e
parent 24629 65947eb930fa
child 31677 799aecc0df56
equal deleted inserted replaced
26149:6094349a4de9 26150:f6bd8686b71e