text/basic_properties.tex
changeset 554 62d6db8c2ead
parent 551 9dfb5db2acd7
child 560 b138ee4a5938