text/basic_properties.tex
changeset 102 9e5716a79abe
parent 100 c5a43be00ed4
child 141 e1d24be683bb