text/basic_properties.tex
changeset 555 11532ce39ec0
parent 551 9dfb5db2acd7
child 560 b138ee4a5938