doc-src/TutorialI/Misc/Plus.thy
changeset 19978 df19a7876183
parent 19249 86c73395c99b
child 27015 f8537d69f514