doc-src/TutorialI/Misc/Plus.thy
changeset 23956 48494ccfabaf
parent 19249 86c73395c99b
child 27015 f8537d69f514
equal deleted inserted replaced
23955:f1ba12c117ec 23956:48494ccfabaf