text/basic_properties.tex
changeset 318 7cb7de37cbf9
parent 314 6e23226d1cca
child 332 160ca7078ae9