doc-src/TutorialI/Misc/appendix.thy
changeset 25340 6a3b20f0ae61
parent 24629 65947eb930fa
child 31677 799aecc0df56
equal deleted inserted replaced
25339:ef2a8a3bae4a 25340:6a3b20f0ae61