doc-src/TutorialI/Types/document/Axioms.tex
changeset 35904 0c13e28e5e41
parent 31682 358cdcdf56d2
child 38325 6daf896bca5e
equal deleted inserted replaced
35903:0b43ff2d2e91 35904:0c13e28e5e41