doc-src/TutorialI/Misc/Plus.thy
changeset 26753 094d70c81243
parent 19249 86c73395c99b
child 27015 f8537d69f514