text/basic_properties.tex
changeset 396 f58d590e8a08
parent 342 1d76e832d32f
child 403 ef36cdefb130
equal deleted inserted replaced
395:1bb33e217a5a 396:f58d590e8a08