doc-src/TutorialI/Misc/appendix.thy
changeset 40722 441260986b63
parent 31677 799aecc0df56
equal deleted inserted replaced
40721:e5089e903e39 40722:441260986b63