text/basic_properties.tex
changeset 331 956f373f6ff6
parent 314 6e23226d1cca
child 332 160ca7078ae9