text/basic_properties.tex
changeset 335 9bf409eb5040
parent 332 160ca7078ae9
child 338 adc0780aa5e7