doc-src/TutorialI/Inductive/document/Even.tex
changeset 37387 3581483cca6c
parent 25330 15bf0f47a87d
child 40406 313a24b66a8d
equal deleted inserted replaced
37385:f076ca61dc00 37387:3581483cca6c