text/basic_properties.tex
changeset 968 8372e04e4b7d
parent 961 c57afb230bb1