doc-src/TutorialI/Types/document/Axioms.tex
changeset 10854 d1ff1ff5c5ad
parent 10845 3696bc935bbd
child 10878 b254d5ad6dd4
equal deleted inserted replaced
10853:2c64c7991f7c 10854:d1ff1ff5c5ad