text/basic_properties.tex
changeset 316 c876013ea42e
parent 314 6e23226d1cca
child 332 160ca7078ae9