text/basic_properties.tex
changeset 976 3c75d9a485a7
parent 961 c57afb230bb1