text/basic_properties.tex
changeset 495 9500914bade0
parent 492 833bd74143a4
child 506 4a23163843a9